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

Formal Language: 



KB Term:  Term intersection
English Word: 

  SurprisedFacialExpression

Sigma KEE - SurprisedFacialExpression
SurprisedFacialExpression

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


(relatedInternalConcept SurprisedFacialExpression JawDropping) emotion.kif 1275-1275 SurprisedFacialExpression est reli� � l'int�rieur de SUMO � JawDropping
(relatedInternalConcept SurprisedFacialExpression OpeningEyesWidely) emotion.kif 1273-1273 SurprisedFacialExpression est reli� � l'int�rieur de SUMO � OpeningEyesWidely
(relatedInternalConcept SurprisedFacialExpression Surprise) emotion.kif 1274-1274 SurprisedFacialExpression est reli� � l'int�rieur de SUMO � Surprise
(subclass SurprisedFacialExpression EmotionalBehavioralProcess) emotion.kif 1279-1279 SurprisedFacialExpression est une sous-classe de EmotionalBehavioralProcess
(subclass SurprisedFacialExpression FacialExpression) emotion.kif 1278-1278 SurprisedFacialExpression est une sous-classe de FacialExpression

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


(actionTendency Surprise SurprisedFacialExpression) emotion.kif 174-174 actionTendency Surprise and SurprisedFacialExpression
(termFormat EnglishLanguage SurprisedFacialExpression "surprised facial expression") emotion.kif 1276-1277

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


(=>
    (holdsDuring ?T
        (attribute ?A Surprise))
    (modalAttribute
        (exists (?FE)
            (and
                (instance ?FE SurprisedFacialExpression)
                (experiencer ?FE ?A)
                (during
                    (WhenFn ?FE) ?T))) Likely))
emotion.kif 1281-1290


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