Space S5 | Property P22
is not
References
- No references available. If appropriate, please consider contributing a reference.
Notice:
This asserted property can be deduced from the other asserted traits for this
object, due to the following theorems.
| Id | If | Then |
|---|---|---|
| T293 | ||
| T455 | ¬ | |
| T303 | ∧ | |
| T565 | ||
| T345 | ||
| T74 | ||
| T282 | ||
| T386 | ∧ | |
| T350 | ||
| T35 | ||
| T677 | ||
| T122 | ||
| T917 | ∧ | |
| T454 | ||
| T403 | ∧ | |
| T496 | ∧ | |
| T123 | ∧ | |
| T406 | ∧ | |
| T388 | ||
| T389 | ∧ |