Browsing Interface : Welcome guest : log in 		[  Home |  Graph |  LogLearn |  Editor |  ]  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
-------------------------


(subclass FacialExpression Gesture) Mid-level-ontology.kif 21930-21930 Facial expression is a subclass of gesture
(subclass FacialExpression EmotionalBehavioralProcess) Mid-level-ontology.kif 21931-21931 Facial expression is a subclass of emotional behavioral process
(documentation FacialExpression EnglishLanguage "Any Gesture whose instrument is the Face.") Mid-level-ontology.kif 21932-21932 Facial expression is a subclass of emotional behavioral process
(externalImage FacialExpression "http://upload.wikimedia.org/wikipedia/commons/ thumb/ 6/ 61/ Smiling_girl.jpg/ 150px_Smiling_girl.jpg") pictureList.kif 1109-1109 Facial expression is a subclass of emotional behavioral process
(externalImage FacialExpression "http://upload.wikimedia.org/wikipedia/commons/ 0/ 08/ Duchenne_FacialExpressions.jpg") pictureList.kif 2810-2810 Facial expression is a subclass of emotional behavioral process

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


(subclass Laughing FacialExpression) Mid-level-ontology.kif 20710-20710 Laughing is a subclass of facial expression
(subclass OpeningBothEyes FacialExpression) Mid-level-ontology.kif 21965-21965 OpeningBothEyes is a subclass of facial expression
(subclass ClosingBothEyes FacialExpression) Mid-level-ontology.kif 21966-21966 ClosingBothEyes is a subclass of facial expression
(subclass OpeningEye FacialExpression) Mid-level-ontology.kif 21967-21967 Opening eye is a subclass of facial expression
(subclass ClosingEye FacialExpression) Mid-level-ontology.kif 21968-21968 Closing eye is a subclass of facial expression
(subclass Winking FacialExpression) Mid-level-ontology.kif 21969-21969 Winking is a subclass of facial expression
(termFormat EnglishLanguage FacialExpression "facial expression") domainEnglishFormat.kif 23104-23104 Winking is a subclass of facial expression
(termFormat ChineseTraditionalLanguage FacialExpression "表情") domainEnglishFormat.kif 23105-23105 Winking is a subclass of facial expression
(termFormat ChineseLanguage FacialExpression "表情") domainEnglishFormat.kif 23106-23106 Winking is a subclass of facial expression
(subclass PressingLipsTogether FacialExpression) emotion.kif 2042-2042 Pressing lips together is a subclass of facial expression
(subclass Frowning FacialExpression) emotion.kif 2058-2058 Frowning is a subclass of facial expression
(subclass Weeping FacialExpression) emotion.kif 2068-2068 Weeping is a subclass of facial expression
(subclass SurprisedFacialExpression FacialExpression) emotion.kif 2137-2137 Surprised facial expression is a subclass of facial expression
(subclass JawDropping FacialExpression) emotion.kif 2154-2154 Jaw dropping is a subclass of facial expression
(subclass NeutralExpression FacialExpression) emotion.kif 2179-2179 Neutral expression is a subclass of facial expression
(subclass EmotionalFacialExpression FacialExpression) emotion.kif 2186-2186 Emotional facial expression is a subclass of facial expression
(subclass RaisingEyebrows FacialExpression) emotion.kif 2471-2471 Raising eyebrows is a subclass of facial expression
(subclass OpeningEyesWidely FacialExpression) emotion.kif 2500-2500 Opening eyes widely is a subclass of facial expression

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


(=>
    (and
        (instance ?EXPRESS FacialExpression)
        (agent ?EXPRESS ?AGENT))
    (exists (?FACE)
        (and
            (part ?FACE ?AGENT)
            (instance ?FACE Face)
            (instrument ?EXPRESS ?FACE))))		 Mid-level-ontology.kif 21934-21942 If X is an instance of facial expression and Y is an agent of X, then there exists Z such that Z is a part of Y, Z is an instance of face, and Z is an instrument for X

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


(=>
    (and
        (instance ?EBP EmotionalBehavioralProcess)
        (agent ?EBP ?A))
    (exists (?FE)
        (and
            (instance ?FE FacialExpression)
            (agent ?FE ?A)
            (causes ?EBP ?FE))))		 Mid-level-ontology.kif 21955-21963 If X is an instance of emotional behavioral process and Y is an agent of X, then there exists Z such that Z is an instance of facial expression, Y is an agent of Z, and X causes Z


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.0-0a80e6c8 (2026-05-12) is open source software produced by Articulate Software and its partners