Space S170 | Property P65
is
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 | ||
| T17 | ||
| T18 | ||
| T124 | ∧ | |
| T544 | ||
| T583 | ||
| T9 | ||
| T346 | ¬ | |
| T545 | ∧ | |
| T601 | ||
| T26 | ∧ | |
| T622 | ∧ ∧ ¬ | |
| T335 | ||
| T769 | ∧ | |
| T759 | ||
| T766 | ∧ | |
| T535 | ||
| T300 | ||
| T175 | ∧ | |
| T121 | ||
| T391 | ¬ ∧ ¬ | ¬ |
| T270 | ||
| T122 | ||
| T405 | ∧ ∧ |