| appearance as argument number 1 |
|
| (relatedInternalConcept SurprisedFacialExpression JawDropping) | emotion.kif 1275-1275 | SurprisedFacialExpression は JawDropping に internally 関連して %n |
| (relatedInternalConcept SurprisedFacialExpression OpeningEyesWidely) | emotion.kif 1273-1273 | SurprisedFacialExpression は OpeningEyesWidely に internally 関連して %n |
| (relatedInternalConcept SurprisedFacialExpression Surprise) | emotion.kif 1274-1274 | SurprisedFacialExpression は Surprise に internally 関連して %n |
| (subclass SurprisedFacialExpression EmotionalBehavioralProcess) | emotion.kif 1279-1279 | SurprisedFacialExpression は EmotionalBehavioralProcess の subclass では %n |
| (subclass SurprisedFacialExpression FacialExpression) | emotion.kif 1278-1278 | SurprisedFacialExpression は FacialExpression の subclass では %n |
| 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 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