No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 8588-8588 |
dislikes and wants are disjoint |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 8592-8595 |
dislikes and wants are disjoint |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 8590-8590 |
The number 1 argument of dislikes is an instance of cognitive agent |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 8591-8591 |
The number 2 argument of dislikes is an instance of object |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 8586-8586 |
dislikes is an instance of binary predicate |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 8585-8585 |
dislikes is an instance of object attitude |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 8589-8589 |
dislikes is internally related to disapproves |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 8587-8587 |
dislikes is a subrelation of in scope of interest |