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

Formal Language: 



KB Term:  Term intersection
English Word: 

  EmotionalBehavioralProcess

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 1365-1365 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 1305-1305 Facial expression is a subclass of emotional behavioral process
No TPTP formula. May not be expressible in strict first order. emotion.kif 1632-1632 Laughing is a subclass of emotional behavioral process
No TPTP formula. May not be expressible in strict first order. emotion.kif 1287-1287 Surprised facial expression is a subclass of emotional behavioral process
No TPTP formula. May not be expressible in strict first order. emotion.kif 1607-1607 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 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