No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 7727-7733 |
AutonomousAgent 是 CognitiveAgent 的 customer Process 例 Process and FinancialTransaction agent Process and AutonomousAgent 目的地 Process and CognitiveAgent |
No TPTP formula. May not be expressible in strict first order. |
FinancialOntology.kif 3635-3642 |
CognitiveAgent 對於 %3 的 customer 代表 Process 例 Process and FinancialTransaction 採用 Organization and CognitiveAgent agent Process and CognitiveAgent 目的地 Process and CognitiveAgent |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 30271-30279 |
持有期間 TimeInterval and attribute AutonomousAgent and Mute Process 例 Process and 說話 期間 何時 Process and TimeInterval agent Process and AutonomousAgent |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 1601-1607 |
持有期間 TimePosition and attribute entity and LegalAgent 持有期間 TimePosition and 能力 LegalAction, agent and entity 能力 LegalAction, 患者 and entity |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 14100-14106 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 14091-14098 |
|
No TPTP formula. May not be expressible in strict first order. |
Music.kif 280-287 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 14079-14089 |
|
No TPTP formula. May not be expressible in strict first order. |
emotion.kif 374-387 |
|
No TPTP formula. May not be expressible in strict first order. |
emotion.kif 349-363 |
|
No TPTP formula. May not be expressible in strict first order. |
Biography.kif 223-230 |
|
No TPTP formula. May not be expressible in strict first order. |
ComputingBrands.kif 4373-4382 |
|
No TPTP formula. May not be expressible in strict first order. |
Biography.kif 757-776 |
|
No TPTP formula. May not be expressible in strict first order. |
ArabicCulture.kif 204-223 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 17332-17345 |
|
No TPTP formula. May not be expressible in strict first order. |
Military.kif 286-297 |
|
No TPTP formula. May not be expressible in strict first order. |
ArabicCulture.kif 134-143 |
|
No TPTP formula. May not be expressible in strict first order. |
Dining.kif 1207-1224 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 20601-20623 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 29963-29972 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 29974-29984 |
|
No TPTP formula. May not be expressible in strict first order. |
TransportDetail.kif 153-172 |
|
No TPTP formula. May not be expressible in strict first order. |
Hotel.kif 684-695 |
|
No TPTP formula. May not be expressible in strict first order. |
Government.kif 1132-1152 |
|
No TPTP formula. May not be expressible in strict first order. |
Dining.kif 130-150 |
|
|
Display limited to 25 items. Show next 25 |
|
Display limited to 25 items. Show next 25 |