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. | emotion.kif 1279-1279 | SurprisedFacialExpression 是 EmotionalBehavioralProcess 的 subclass |