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

Formal Language: 



KB Term:  Term intersection
English Word: 

  FearfulFacialExpression

Sigma KEE - FearfulFacialExpression
FearfulFacialExpression

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


(documentation FearfulFacialExpression EnglishLanguage "The canonical facial expression associated with the experience of fear.") emotion.kif 1340-1341
(relatedInternalConcept FearfulFacialExpression Fear) emotion.kif 1339-1339 FearfulFacialExpressionFear 是 内部相关
(relatedInternalConcept FearfulFacialExpression OpeningEyesWidely) emotion.kif 1338-1338 FearfulFacialExpressionOpeningEyesWidely 是 内部相关
(subclass FearfulFacialExpression EmotionalFacialExpression) emotion.kif 1342-1342 FearfulFacialExpressionEmotionalFacialExpressionsubclass

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


(actionTendency Fear FearfulFacialExpression) emotion.kif 183-183 actionTendency Fear and FearfulFacialExpression
(termFormat EnglishLanguage FearfulFacialExpression "fearful facial expression") emotion.kif 1336-1337

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


(=>
    (holdsDuring ?T
        (attribute ?A Fear))
    (modalAttribute
        (exists (?FE)
            (and
                (instance ?FE FearfulFacialExpression)
                (experiencer ?FE ?A)
                (during
                    (WhenFn ?FE) ?T))) Likely))
emotion.kif 1344-1353


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