No TPTP formula. May not be expressible in strict first order. |
emotion.kif 1215-1215 |
ClosingEyes e' uma sub-classe de FacialExpression |
No TPTP formula. May not be expressible in strict first order. |
emotion.kif 1308-1308 |
EmotionalFacialExpression e' uma sub-classe de FacialExpression |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 13028-13028 |
Frowning e' uma sub-classe de FacialExpression |
No TPTP formula. May not be expressible in strict first order. |
emotion.kif 1295-1295 |
JawDropping e' uma sub-classe de FacialExpression |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 13039-13039 |
Laughing e' uma sub-classe de FacialExpression |
No TPTP formula. May not be expressible in strict first order. |
emotion.kif 1301-1301 |
NeutralExpression e' uma sub-classe de FacialExpression |
No TPTP formula. May not be expressible in strict first order. |
emotion.kif 1665-1665 |
OpeningEyesWidely e' uma sub-classe de FacialExpression |
No TPTP formula. May not be expressible in strict first order. |
emotion.kif 1198-1198 |
PressingLipsTogether e' uma sub-classe de FacialExpression |
No TPTP formula. May not be expressible in strict first order. |
emotion.kif 1636-1636 |
RaisingEyebrows e' uma sub-classe de FacialExpression |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 13018-13018 |
Smiling e' uma sub-classe de FacialExpression |
No TPTP formula. May not be expressible in strict first order. |
emotion.kif 1278-1278 |
SurprisedFacialExpression e' uma sub-classe de FacialExpression |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 13050-13050 |
Weeping e' uma sub-classe de FacialExpression |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 23110-23110 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 23109-23109 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 23108-23108 |
|