Space S103 | Property P51
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 |
---|---|---|
T115 | ||
T146 | ||
T1 | ||
T121 | ||
T282 | ||
T17 | ||
T122 | ||
T169 | ||
T286 | ||
T283 | ∧ | |
T123 | ∧ | |
T315 | ||
T288 | ∧ | |
T724 | ∧ ∧ | |
T630 | ∧ ¬ | |
T600 | ||
T764 | ||
T632 | ∧ | |
T583 | ||
T769 | ∧ | |
T590 | ||
T40 |