actionTendency |
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | emotion.kif 158-159 | |
No TPTP formula. May not be expressible in strict first order. | emotion.kif 156-156 | 域 actionTendency, 1 and EmotionalState |
No TPTP formula. May not be expressible in strict first order. | emotion.kif 157-157 | 域子類 actionTendency, 2 and EmotionalBehavioralProcess |
No TPTP formula. May not be expressible in strict first order. | emotion.kif 155-155 | 例 actionTendency and BinaryPredicate |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 65771-65771 |
antecedent |
No TPTP formula. May not be expressible in strict first order. | emotion.kif 161-172 |
|
appearance as argument number 0 |
No TPTP formula. May not be expressible in strict first order. | emotion.kif 186-186 | actionTendency 憤怒 and AngryFacialExpression |
No TPTP formula. May not be expressible in strict first order. | emotion.kif 182-182 | actionTendency Disgust and DisgustedFacialExpression |
No TPTP formula. May not be expressible in strict first order. | emotion.kif 183-183 | actionTendency Fear and FearfulFacialExpression |
No TPTP formula. May not be expressible in strict first order. | emotion.kif 175-175 | actionTendency Grief and 泣 |
No TPTP formula. May not be expressible in strict first order. | emotion.kif 184-184 | actionTendency 幸福 and HappyFacialExpression |
No TPTP formula. May not be expressible in strict first order. | emotion.kif 176-176 | actionTendency 幸福 and 笑 |
No TPTP formula. May not be expressible in strict first order. | emotion.kif 177-177 | actionTendency 幸福 and 微笑 |
No TPTP formula. May not be expressible in strict first order. | emotion.kif 185-185 | actionTendency Sadness and SadFacialExpression |
No TPTP formula. May not be expressible in strict first order. | emotion.kif 179-179 | actionTendency 驚喜 and JawDropping |
No TPTP formula. May not be expressible in strict first order. | emotion.kif 180-180 | actionTendency 驚喜 and OpeningEyesWidely |
No TPTP formula. May not be expressible in strict first order. | emotion.kif 181-181 | actionTendency 驚喜 and RaisingEyebrows |
No TPTP formula. May not be expressible in strict first order. | emotion.kif 174-174 | actionTendency 驚喜 and SurprisedFacialExpression |
No TPTP formula. May not be expressible in strict first order. | emotion.kif 178-178 | actionTendency 不幸 and 皺著眉頭 |