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 | O argumento numero 1 de actionTendency e' uma instancia de Estado Emocional |
No TPTP formula. May not be expressible in strict first order. | emotion.kif 157-157 | O argumento numero 2 de actionTendency e' uma sub-classe de EmotionalBehavioralProcess |
No TPTP formula. May not be expressible in strict first order. | emotion.kif 155-155 | actionTendency e' uma instancia de Predicado Binario |
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 Anger 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 Weeping |
No TPTP formula. May not be expressible in strict first order. | emotion.kif 184-184 | actionTendency Happiness and HappyFacialExpression |
No TPTP formula. May not be expressible in strict first order. | emotion.kif 176-176 | actionTendency Happiness and Laughing |
No TPTP formula. May not be expressible in strict first order. | emotion.kif 177-177 | actionTendency Happiness and Smiling |
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 Surprise and JawDropping |
No TPTP formula. May not be expressible in strict first order. | emotion.kif 180-180 | actionTendency Surprise and OpeningEyesWidely |
No TPTP formula. May not be expressible in strict first order. | emotion.kif 181-181 | actionTendency Surprise and RaisingEyebrows |
No TPTP formula. May not be expressible in strict first order. | emotion.kif 174-174 | actionTendency Surprise and SurprisedFacialExpression |
No TPTP formula. May not be expressible in strict first order. | emotion.kif 178-178 | actionTendency Unhappiness and Frowning |