No TPTP formula. May not be expressible in strict first order. | emotion.kif 117-117 | 子類 EmotionalBehavioralProcess and PsychologicalProcess |
No TPTP formula. May not be expressible in strict first order. | emotion.kif 87-87 | 子類 EmotionalSpeakingBehavior and EmotionalBehavioralProcess |
No TPTP formula. May not be expressible in strict first order. | emotion.kif 1279-1279 | 子類 SurprisedFacialExpression and EmotionalBehavioralProcess |
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. | emotion.kif 1357-1357 | 子類 EmotionalBodilyMovementBehavior and EmotionalBehavioralProcess |
No TPTP formula. May not be expressible in strict first order. | emotion.kif 1599-1599 | 子類 泣 and EmotionalBehavioralProcess |
No TPTP formula. May not be expressible in strict first order. | emotion.kif 1624-1624 | 子類 笑 and EmotionalBehavioralProcess |