No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 7423-7423 |
不相交的關係 不喜歡 and 想要 |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 7427-7430 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 7425-7425 |
域 不喜歡, 1 and CognitiveAgent |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 7426-7426 |
域 不喜歡, 2 and Object |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 7421-7421 |
例 不喜歡 and BinaryPredicate |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 7420-7420 |
例 不喜歡 and ObjectAttitude |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 7424-7424 |
相關的內部概念 不喜歡 and 不贊成 |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 7422-7422 |
子關係 不喜歡 and 在感興趣的範圍內 |