No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 23276-23278 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 23270-23270 |
域 在類型的事件中發揮作用, 1 and Object |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 23271-23271 |
域 在類型的事件中發揮作用, 2 and CaseRole |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 23273-23273 |
域 在類型的事件中發揮作用, 4 and TimePosition |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 23274-23274 |
域 在類型的事件中發揮作用, 5 and Object |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 23272-23272 |
域子類 在類型的事件中發揮作用, 3 and Process |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 23269-23269 |
例 在類型的事件中發揮作用 and QuintaryPredicate |