Space S155 | Property P147
is
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
space, due to the following theorems.
| Id | If | Then |
|---|---|---|
| T574 | ||
| T168 | ||
| T764 | ||
| T103 | ||
| T353 | ||
| T765 | ||
| T205 | ||
| T356 | ||
| T401 | ||
| T66 | ||
| T538 | ∧ | |
| T573 | ||
| T360 | ||
| T402 | ∧ | |
| T191 | ¬ | |
| T273 | ||
| T287 | ||
| T912 | ∧ ¬ | |
| T508 | ∧ ∧ ∧ | |
| T100 | ||
| T909 | ∧ ∧ | |
| T501 | ∧ |