No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 13004-13004 | 子類 表情 and 手勢 |
No TPTP formula. May not be expressible in strict first order. | emotion.kif 1297-1297 | 子類 表情 and EmotionalBehavioralProcess |
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. | Mid-level-ontology.kif 13027-13027 | 子類 皺著眉頭 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. | Mid-level-ontology.kif 13049-13049 | 子類 泣 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 1215-1215 | 子類 閉上眼睛 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. | emotion.kif 1295-1295 | 子類 JawDropping 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 1308-1308 | 子類 EmotionalFacialExpression 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. | emotion.kif 1665-1665 | 子類 OpeningEyesWidely and 表情 |