Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - actionTendency
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 The number 1 argument of actionTendency is an instance of emotional state
No TPTP formula. May not be expressible in strict first order. emotion.kif 157-157 The number 2 argument of actionTendency is a subclass of emotional behavioral process
No TPTP formula. May not be expressible in strict first order. emotion.kif 155-155 actionTendency is an instance of binary relation

appearance as argument number 2
-------------------------


No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 2691-2691
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 2690-2690
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 2689-2689

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 Anger tends to cause angry facial expression
No TPTP formula. May not be expressible in strict first order. emotion.kif 182-182 Disgust tends to cause disgusted facial expression
No TPTP formula. May not be expressible in strict first order. emotion.kif 183-183 Angst tends to cause fearful facial expression
No TPTP formula. May not be expressible in strict first order. emotion.kif 175-175 Grief tends to cause weeping
No TPTP formula. May not be expressible in strict first order. emotion.kif 184-184 Happiness tends to cause happy facial expression
No TPTP formula. May not be expressible in strict first order. emotion.kif 176-176 Happiness tends to cause laughing
No TPTP formula. May not be expressible in strict first order. emotion.kif 177-177 Happiness tends to cause smiling
No TPTP formula. May not be expressible in strict first order. emotion.kif 185-185 Sadness tends to cause sad facial expression
No TPTP formula. May not be expressible in strict first order. emotion.kif 179-179 Surprise tends to cause jaw dropping
No TPTP formula. May not be expressible in strict first order. emotion.kif 180-180 Surprise tends to cause opening eyes widely
No TPTP formula. May not be expressible in strict first order. emotion.kif 181-181 Surprise tends to cause raising eyebrows
No TPTP formula. May not be expressible in strict first order. emotion.kif 174-174 Surprise tends to cause surprised facial expression
No TPTP formula. May not be expressible in strict first order. emotion.kif 178-178 Unhappiness tends to cause frowning


Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)



Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners