No TPTP formula. May not be expressible in strict first order. |
Merge.kif 18316-18316 |
Asleep is an instance of consciousness attribute |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 18340-18340 |
Awake is an instance of consciousness attribute |
No TPTP formula. May not be expressible in strict first order. |
Medicine.kif 434-434 |
Conscious is an instance of consciousness attribute |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 8655-8655 |
Drugged is an instance of consciousness attribute |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 16429-16429 |
Sleepy is an instance of consciousness attribute |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 16355-16355 |
Sober is an instance of consciousness attribute |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 18334-18334 |
Unconscious is an instance of consciousness attribute |
No TPTP formula. May not be expressible in strict first order. |
chinese_format.kif 1265-1265 |
|
No TPTP formula. May not be expressible in strict first order. |
english_format.kif 1751-1751 |
|
No TPTP formula. May not be expressible in strict first order. |
french_format.kif 943-943 |
|
No TPTP formula. May not be expressible in strict first order. |
terms-hindi.txt 478-478 |
|
No TPTP formula. May not be expressible in strict first order. |
terms-it.txt 482-482 |
|
No TPTP formula. May not be expressible in strict first order. |
japanese_format.kif 2627-2627 |
|
No TPTP formula. May not be expressible in strict first order. |
portuguese_format.kif 895-895 |
|
No TPTP formula. May not be expressible in strict first order. |
terms-cz.txt 518-518 |
|
No TPTP formula. May not be expressible in strict first order. |
relations-ro.kif 964-964 |
|
No TPTP formula. May not be expressible in strict first order. |
terms-tg.txt 483-483 |
|