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

Formal Language: 



KB Term:  Term intersection
English Word: 

  actionTendency

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

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 angry facial expression
No TPTP formula. May not be expressible in strict first order. emotion.kif 182-182 actionTendency disgust and disgusted facial expression
No TPTP formula. May not be expressible in strict first order. emotion.kif 183-183 actionTendency angst and fearful facial expression
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 happy facial expression
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 sad facial expression
No TPTP formula. May not be expressible in strict first order. emotion.kif 179-179 actionTendency surprise and jaw dropping
No TPTP formula. May not be expressible in strict first order. emotion.kif 180-180 actionTendency surprise and opening eyes widely
No TPTP formula. May not be expressible in strict first order. emotion.kif 181-181 actionTendency surprise and raising eyebrows
No TPTP formula. May not be expressible in strict first order. emotion.kif 174-174 actionTendency surprise and surprised facial expression
No TPTP formula. May not be expressible in strict first order. emotion.kif 178-178 actionTendency unhappiness and frowning


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

Show without tree


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