No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 22892-22894 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 22888-22888 |
域 服務接收者, 1 and 服務 |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 22889-22889 |
域 服務接收者, 2 and CognitiveAgent |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 22886-22886 |
例 服務接收者 and AsymmetricRelation |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 22885-22885 |
例 服務接收者 and BinaryPredicate |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 22891-22891 |
例 服務接收者 and CaseRole |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 22887-22887 |
例 服務接收者 and 有意圖的關係 |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 22890-22890 |
子關係 服務接收者 and 體驗者 |