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 action tendency 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 action tendency is a subclass of emotional behavioral process
No TPTP formula. May not be expressible in strict first order. emotion.kif 155-155 action tendency is an instance of binary predicate

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 action tendency anger and angry facial expression
No TPTP formula. May not be expressible in strict first order. emotion.kif 182-182 action tendency disgust and disgusted facial expression
No TPTP formula. May not be expressible in strict first order. emotion.kif 183-183 action tendency angst and fearful facial expression
No TPTP formula. May not be expressible in strict first order. emotion.kif 175-175 action tendency grief and weeping
No TPTP formula. May not be expressible in strict first order. emotion.kif 184-184 action tendency happiness and happy facial expression
No TPTP formula. May not be expressible in strict first order. emotion.kif 176-176 action tendency happiness and laughing
No TPTP formula. May not be expressible in strict first order. emotion.kif 177-177 action tendency happiness and smiling
No TPTP formula. May not be expressible in strict first order. emotion.kif 185-185 action tendency sadness and sad facial expression
No TPTP formula. May not be expressible in strict first order. emotion.kif 179-179 action tendency surprise and jaw dropping
No TPTP formula. May not be expressible in strict first order. emotion.kif 180-180 action tendency surprise and opening eyes widely
No TPTP formula. May not be expressible in strict first order. emotion.kif 181-181 action tendency surprise and raising eyebrows
No TPTP formula. May not be expressible in strict first order. emotion.kif 174-174 action tendency surprise and surprised facial expression
No TPTP formula. May not be expressible in strict first order. emotion.kif 178-178 action tendency unhappiness and 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