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 数量 是 情绪状态 的 instance |
No TPTP formula. May not be expressible in strict first order. | emotion.kif 157-157 | actionTendency 的 2 数量 是 EmotionalBehavioralProcess 的 subclass |
No TPTP formula. May not be expressible in strict first order. | emotion.kif 155-155 | actionTendency 是 二元谓语 的 instance |
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 皱着眉头 |