No TPTP formula. May not be expressible in strict first order. |
Merge.kif 18395-18395 |
例 Asleep and ConsciousnessAttribute |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 18419-18419 |
例 Awake and ConsciousnessAttribute |
No TPTP formula. May not be expressible in strict first order. |
Medicine.kif 434-434 |
例 Conscious and ConsciousnessAttribute |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 8682-8682 |
例 下藥 and ConsciousnessAttribute |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 16456-16456 |
例 Sleepy and ConsciousnessAttribute |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 16382-16382 |
例 清醒 and ConsciousnessAttribute |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 18413-18413 |
例 Unconscious and ConsciousnessAttribute |
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 |
|