No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 7450-7450 |
dislikes et wants sont disjoint |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 7454-7457 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 7452-7452 |
Le nombre 1 argument de dislikes est une instance de agent cognitif |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 7453-7453 |
Le nombre 2 argument de dislikes est une instance de objet |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 7448-7448 |
dislikes est une instance de pr�dicat binaire |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 7447-7447 |
dislikes est une instance de attitude d'objet |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 7451-7451 |
dislikes est reli� � l'int�rieur de SUMO � disapproves |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 7449-7449 |
dislikes est une sous-relation de inScopeOfInterest |