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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - FacialExpression
FacialExpression(facial expression)
aspect, expression, face, facial_expression, look

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


(documentation FacialExpression EnglishLanguage "Any Gesture whose instrument is the Face.") Mid-level-ontology.kif 10615-10615
(externalImage FacialExpression "http://upload.wikimedia.org/wikipedia/commons/ 0/ 08/ Duchenne-FacialExpressions.jpg") pictureList.kif 2812-2812
(externalImage FacialExpression "http://upload.wikimedia.org/wikipedia/commons/ thumb/ 6/ 61/ Smiling_girl.jpg/ 150px-Smiling_girl.jpg") pictureList.kif 1110-1110
(subclass FacialExpression EmotionalBehavioralProcess) emotion.kif 1279-1279 Facial expression is a subclass of emotional behavioral process
(subclass FacialExpression Gesture) Mid-level-ontology.kif 10614-10614 Facial expression is a subclass of gesture

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


(subclass ClosingEyes FacialExpression) emotion.kif 1197-1197 Closing eyes is a subclass of facial expression
(subclass EmotionalFacialExpression FacialExpression) emotion.kif 1290-1290 Emotional facial expression is a subclass of facial expression
(subclass Frowning FacialExpression) Mid-level-ontology.kif 10637-10637 Frowning is a subclass of facial expression
(subclass JawDropping FacialExpression) emotion.kif 1277-1277 Jaw dropping is a subclass of facial expression
(subclass Laughing FacialExpression) Mid-level-ontology.kif 10648-10648 Laughing is a subclass of facial expression
(subclass NeutralExpression FacialExpression) emotion.kif 1283-1283 Neutral expression is a subclass of facial expression
(subclass OpeningEyesWidely FacialExpression) emotion.kif 1633-1633 Opening eyes widely is a subclass of facial expression
(subclass PressingLipsTogether FacialExpression) emotion.kif 1180-1180 Pressing lips together is a subclass of facial expression
(subclass RaisingEyebrows FacialExpression) emotion.kif 1604-1604 Raising eyebrows is a subclass of facial expression
(subclass Smiling FacialExpression) Mid-level-ontology.kif 10627-10627 Smiling is a subclass of facial expression
(subclass SurprisedFacialExpression FacialExpression) emotion.kif 1260-1260 Surprised facial expression is a subclass of facial expression
(subclass Weeping FacialExpression) Mid-level-ontology.kif 10659-10659 Weeping is a subclass of facial expression
(termFormat ChineseLanguage FacialExpression "表情") domainEnglishFormat.kif 23035-23035
(termFormat ChineseTraditionalLanguage FacialExpression "表情") domainEnglishFormat.kif 23034-23034
(termFormat EnglishLanguage FacialExpression "facial expression") domainEnglishFormat.kif 23033-23033

antecedent
-------------------------


(=>
    (and
        (instance ?EXPRESS FacialExpression)
        (agent ?EXPRESS ?AGENT))
    (exists (?FACE)
        (and
            (part ?FACE ?AGENT)
            (instance ?FACE Face)
            (instrument ?EXPRESS ?FACE))))
Mid-level-ontology.kif 10617-10625

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


(=>
    (and
        (instance ?EBP EmotionalBehavioralProcess)
        (agent ?EBP ?A))
    (exists (?FE)
        (and
            (instance ?FE FacialExpression)
            (agent ?FE ?A)
            (causes ?EBP ?FE))))
emotion.kif 129-137


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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners