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



KB Term:  Term intersection
English Word: 

  FearfulFacialExpression

Sigma KEE - FearfulFacialExpression
FearfulFacialExpression(fearful facial expression)

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


(relatedInternalConcept FearfulFacialExpression OpeningEyesWidely) emotion.kif 2216-2216 Fearful facial expression is internally related to opening eyes widely
(relatedInternalConcept FearfulFacialExpression Fear) emotion.kif 2217-2217 Fearful facial expression is internally related to angst
(documentation FearfulFacialExpression EnglishLanguage "The canonical facial expression associated with the experience of fear.") emotion.kif 2218-2219 Fearful facial expression is internally related to angst
(subclass FearfulFacialExpression EmotionalFacialExpression) emotion.kif 2220-2220 Fearful facial expression is a subclass of emotional facial expression

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


(actionTendency Fear FearfulFacialExpression) emotion.kif 163-163 action tendency angst and fearful facial expression
(termFormat EnglishLanguage FearfulFacialExpression "fearful facial expression") emotion.kif 2214-2215 action tendency angst and fearful facial expression

consequent
-------------------------


(=>
    (holdsDuring ?T
        (attribute ?A Fear))
    (modalAttribute
        (exists (?FE)
            (and
                (instance ?FE FearfulFacialExpression)
                (experiencer ?FE ?A)
                (during
                    (WhenFn ?FE) ?T))) Likely))
emotion.kif 2222-2231 If angst is an attribute of X holds during Y, then the statement there exists Z such that Z is an instance of fearful facial expression, X experiences Z, and the time of existence of Z takes place during Y has the modal force of likely


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.0-0a80e6c8 (2026-05-12) is open source software produced by Articulate Software and its partners