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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - EmotionalBehavioralProcess
EmotionalBehavioralProcess(emotional behavioral process)

appearance as argument number 1
-------------------------


No TPTP formula. May not be expressible in strict first order. emotion.kif 108-111
No TPTP formula. May not be expressible in strict first order. emotion.kif 112-114
No TPTP formula. May not be expressible in strict first order. emotion.kif 117-117 Emotional behavioral process is a subclass of psychological process

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


No TPTP formula. May not be expressible in strict first order. emotion.kif 1339-1339 Emotional bodily movement behavior is a subclass of emotional behavioral process
No TPTP formula. May not be expressible in strict first order. emotion.kif 87-87 Emotional speaking behavior is a subclass of emotional behavioral process
No TPTP formula. May not be expressible in strict first order. emotion.kif 1279-1279 Facial expression is a subclass of emotional behavioral process
No TPTP formula. May not be expressible in strict first order. emotion.kif 1598-1598 Laughing is a subclass of emotional behavioral process
No TPTP formula. May not be expressible in strict first order. emotion.kif 1261-1261 Surprised facial expression is a subclass of emotional behavioral process
No TPTP formula. May not be expressible in strict first order. emotion.kif 1573-1573 Weeping is a subclass of emotional behavioral process
No TPTP formula. May not be expressible in strict first order. emotion.kif 115-116

appearance as argument number 3
-------------------------


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

antecedent
-------------------------


No TPTP formula. May not be expressible in strict first order. emotion.kif 119-127
No TPTP formula. May not be expressible in strict first order. emotion.kif 129-137


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