No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 7422-7422 |
dislikes et wants sont disjoint |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 7426-7429 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 7424-7424 |
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 7425-7425 |
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 7420-7420 |
dislikes est une instance de pr�dicat binaire |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 7419-7419 |
dislikes est une instance de attitude d'objet |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 7423-7423 |
dislikes est reli� � l'int�rieur de SUMO � disapproves |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 7421-7421 |
dislikes est une sous-relation de inScopeOfInterest |