No TPTP formula. May not be expressible in strict first order. |
Merge.kif 18395-18395 |
Endormi est une instance de attribut de conscience |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 18419-18419 |
R�veill� est une instance de attribut de conscience |
No TPTP formula. May not be expressible in strict first order. |
Medicine.kif 434-434 |
Conscious est une instance de attribut de conscience |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 8682-8682 |
Drugged est une instance de attribut de conscience |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 16456-16456 |
Sleepy est une instance de attribut de conscience |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 16382-16382 |
Sober est une instance de attribut de conscience |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 18413-18413 |
Inconscient est une instance de attribut de conscience |
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 |
|