No TPTP formula. May not be expressible in strict first order. |
emotion.kif 1215-1215 |
子類 閉上眼睛 and 表情 |
No TPTP formula. May not be expressible in strict first order. |
emotion.kif 1308-1308 |
子類 EmotionalFacialExpression and 表情 |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 13027-13027 |
子類 皺著眉頭 and 表情 |
No TPTP formula. May not be expressible in strict first order. |
emotion.kif 1295-1295 |
子類 JawDropping and 表情 |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 13038-13038 |
子類 笑 and 表情 |
No TPTP formula. May not be expressible in strict first order. |
emotion.kif 1301-1301 |
子類 NeutralExpression and 表情 |
No TPTP formula. May not be expressible in strict first order. |
emotion.kif 1665-1665 |
子類 OpeningEyesWidely and 表情 |
No TPTP formula. May not be expressible in strict first order. |
emotion.kif 1198-1198 |
子類 PressingLipsTogether and 表情 |
No TPTP formula. May not be expressible in strict first order. |
emotion.kif 1636-1636 |
子類 RaisingEyebrows and 表情 |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 13017-13017 |
子類 微笑 and 表情 |
No TPTP formula. May not be expressible in strict first order. |
emotion.kif 1278-1278 |
子類 SurprisedFacialExpression and 表情 |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 13049-13049 |
子類 泣 and 表情 |
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 |
|