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 |
---|---|---|
T1 | ||
T101 | ∧ | |
T17 | ||
T121 | ||
T156 | ||
T18 | ||
T122 | ||
T281 | ||
T268 | ||
T9 | ||
T124 | ∧ | |
T98 | ||
T302 | ∧ ∧ | |
T26 | ∧ | |
T544 | ||
T363 | ∧ | |
T300 | ||
T335 | ||
T584 | ¬ | |
T545 | ∧ | |
T613 | ||
T766 | ∧ | |
T622 | ∧ ∧ ¬ | |
T583 | ||
T769 | ∧ | |
T590 | ||
T40 |