| FacialExpression(facial expression)
| | aspect, expression, face, facial_expression, look |
| appearance as argument number 1 |
|
|
| (subclass FacialExpression Gesture) | Mid-level-ontology.kif 14488-14488 | Facial expression is a subclass of gesture |
| (documentation FacialExpression EnglishLanguage "Any Gesture whose instrument is the Face.") | Mid-level-ontology.kif 14489-14489 | Facial expression is a subclass of gesture |
| (subclass FacialExpression EmotionalBehavioralProcess) | emotion.kif 1971-1971 | 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 |
|
|
| antecedent |
|
|
| (=> (and (instance ?EXPRESS FacialExpression) (agent ?EXPRESS ?AGENT)) (exists (?FACE) (and (part ?FACE ?AGENT) (instance ?FACE Face) (instrument ?EXPRESS ?FACE)))) |
Mid-level-ontology.kif 14491-14499 | 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)))) |
emotion.kif 129-137 | 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 |
|
|
|