| appearance as argument number 1 |
|
| (relatedInternalConcept SurprisedFacialExpression JawDropping) | emotion.kif 1275-1275 | Surprised facial expression is internally related to jaw dropping |
| (relatedInternalConcept SurprisedFacialExpression OpeningEyesWidely) | emotion.kif 1273-1273 | Surprised facial expression is internally related to opening eyes widely |
| (relatedInternalConcept SurprisedFacialExpression Surprise) | emotion.kif 1274-1274 | Surprised facial expression is internally related to surprise |
| (subclass SurprisedFacialExpression EmotionalBehavioralProcess) | emotion.kif 1279-1279 | Surprised facial expression is a subclass of emotional behavioral process |
| (subclass SurprisedFacialExpression FacialExpression) | emotion.kif 1278-1278 | Surprised facial expression is a subclass of facial expression |
| appearance as argument number 2 |
|
|
| (actionTendency Surprise SurprisedFacialExpression) | emotion.kif 174-174 | action tendency surprise and surprised facial expression |
| (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 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