No TPTP formula. May not be expressible in strict first order. | Cars.kif 3397-3425 |
|
No TPTP formula. May not be expressible in strict first order. | Cars.kif 3490-3517 |
|
No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 2630-2643 |
|
No TPTP formula. May not be expressible in strict first order. | Cars.kif 3455-3484 |
|
No TPTP formula. May not be expressible in strict first order. | Cars.kif 3539-3560 |
|
No TPTP formula. May not be expressible in strict first order. | Dining.kif 178-182 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 15188-15209 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 7350-7364 | |
No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 4467-4480 |
|
No TPTP formula. May not be expressible in strict first order. | Geography.kif 2815-2818 | |
No TPTP formula. May not be expressible in strict first order. | Military.kif 895-906 | 等於 GeopoliticalArea 的 fit 對於軍服務男性 and 基數 卡帕 SymbolicString and 例 SymbolicString and Human attribute SymbolicString and 男 子類 entity and MilitaryProcess entity 是 SymbolicString 的 fit 軍事服務 entity 是 GeopoliticalArea 的 military 年紀 年齡 SymbolicString and entity 大於或等於 entity and entity 棲息 SymbolicString and GeopoliticalArea |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 14665-14665 | 子類 Human and Hominid |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 14666-14666 | 子類 Human and CognitiveAgent |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 185-185 | 子類 人類成人 and Human |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 248-248 | 子類 人類青年 and Human |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 320-320 | 子類 青少年 and Human |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 14671-14671 | 子類 人 and Human |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 14678-14678 | 子類 女人 and Human |