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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - EmotionalBehavioralProcess
EmotionalBehavioralProcess

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


(documentation EmotionalBehavioralProcess EnglishLanguage "An emotional behavioral process is the behavior of the organism in response to the appraisal, which includes the characteristic facial expressions for particular emotion types.") emotion.kif 108-111
(documentation EmotionalBehavioralProcess EnglishLanguage "This branch is still very much under construction and will be worked on in collaboration with the Behavior Ontology (George Gkoutos).") emotion.kif 112-114
(subclass EmotionalBehavioralProcess PsychologicalProcess) emotion.kif 117-117

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


(subclass EmotionalBodilyMovementBehavior EmotionalBehavioralProcess) emotion.kif 1357-1357
(subclass EmotionalSpeakingBehavior EmotionalBehavioralProcess) emotion.kif 87-87
(subclass FacialExpression EmotionalBehavioralProcess) emotion.kif 1297-1297
(subclass Laughing EmotionalBehavioralProcess) emotion.kif 1624-1624
(subclass SurprisedFacialExpression EmotionalBehavioralProcess) emotion.kif 1279-1279
(subclass Weeping EmotionalBehavioralProcess) emotion.kif 1599-1599
(termFormat EnglishLanguage EmotionalBehavioralProcess "emotional behavioral process") emotion.kif 115-116

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


(domainSubclass actionTendency 2 EmotionalBehavioralProcess) emotion.kif 157-157

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


(=>
    (and
        (instance ?EBP EmotionalBehavioralProcess)
        (agent ?EBP ?A))
    (exists (?APP)
        (and
            (instance ?APP AppraisalProcess)
            (agent ?APP ?A)
            (causes ?APP ?EBP))))
emotion.kif 119-127
(=>
    (and
        (instance ?EBP EmotionalBehavioralProcess)
        (agent ?EBP ?A))
    (exists (?FE)
        (and
            (instance ?FE FacialExpression)
            (agent ?FE ?A)
            (causes ?EBP ?FE))))
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