No TPTP formula. May not be expressible in strict first order. |
emotion.kif 1215-1215 |
闭上眼睛 是 表情 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
emotion.kif 1308-1308 |
EmotionalFacialExpression 是 表情 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 13028-13028 |
皱着眉头 是 表情 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
emotion.kif 1295-1295 |
JawDropping 是 表情 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 13039-13039 |
笑 是 表情 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
emotion.kif 1301-1301 |
NeutralExpression 是 表情 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
emotion.kif 1665-1665 |
OpeningEyesWidely 是 表情 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
emotion.kif 1198-1198 |
PressingLipsTogether 是 表情 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
emotion.kif 1636-1636 |
RaisingEyebrows 是 表情 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 13018-13018 |
微笑 是 表情 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
emotion.kif 1278-1278 |
SurprisedFacialExpression 是 表情 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 13050-13050 |
泣 是 表情 的 subclass |
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 |
|