No TPTP formula. May not be expressible in strict first order. |
Merge.kif 18522-18522 |
Unconscious is the opposite of awake |
No TPTP formula. May not be expressible in strict first order. |
chinese_format.kif 1268-1268 |
Unconscious is the opposite of awake |
No TPTP formula. May not be expressible in strict first order. |
english_format.kif 1757-1757 |
Unconscious is the opposite of awake |
No TPTP formula. May not be expressible in strict first order. |
french_format.kif 946-946 |
Unconscious is the opposite of awake |
No TPTP formula. May not be expressible in strict first order. |
terms-hindi.txt 481-481 |
Unconscious is the opposite of awake |
No TPTP formula. May not be expressible in strict first order. |
terms-it.txt 485-485 |
Unconscious is the opposite of awake |
No TPTP formula. May not be expressible in strict first order. |
japanese_format.kif 2630-2630 |
Unconscious is the opposite of awake |
No TPTP formula. May not be expressible in strict first order. |
portuguese_format.kif 898-898 |
Unconscious is the opposite of awake |
No TPTP formula. May not be expressible in strict first order. |
terms-cb.txt 487-487 |
Unconscious is the opposite of awake |
No TPTP formula. May not be expressible in strict first order. |
terms-cz.txt 521-521 |
Unconscious is the opposite of awake |
No TPTP formula. May not be expressible in strict first order. |
terms-de.txt 780-780 |
Unconscious is the opposite of awake |
No TPTP formula. May not be expressible in strict first order. |
relations-ro.kif 967-967 |
Unconscious is the opposite of awake |
No TPTP formula. May not be expressible in strict first order. |
terms-tg.txt 486-486 |
Unconscious is the opposite of awake |