No TPTP formula. May not be expressible in strict first order. |
Merge.kif 18316-18316 |
Dormindo e' uma instancia de Atributo de Consciencia |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 18340-18340 |
Acordado e' uma instancia de Atributo de Consciencia |
No TPTP formula. May not be expressible in strict first order. |
Medicine.kif 434-434 |
Conscious e' uma instancia de Atributo de Consciencia |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 8655-8655 |
Drugged e' uma instancia de Atributo de Consciencia |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 16429-16429 |
Sleepy e' uma instancia de Atributo de Consciencia |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 16355-16355 |
Sober e' uma instancia de Atributo de Consciencia |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 18334-18334 |
Inconsciente e' uma instancia de Atributo de Consciencia |
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 |
|