Space S105 | Property P58
is not
References
Notice:
This asserted property can be deduced from the other asserted traits for this
space, due to the following theorems.
Id | If | Then |
---|---|---|
T101 | ∧ | |
T9 | ||
T156 | ||
T113 | ||
T26 | ∧ | |
T281 | ||
T268 | ||
T149 | ||
T121 | ||
T98 | ||
T302 | ∧ ∧ | |
T300 | ∧ | |
T122 | ||
T363 | ∧ | |
T584 | ¬ | |
T344 | ∧ | |
T613 | ||
T583 | ||
T556 | ∧ ∧ ¬ | |
T590 | ||
T40 |