Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| PressingLipsTogether(pressing lips together) |
| appearance as argument number 1 |
|
| (subclass PressingLipsTogether FacialExpression) | emotion.kif 2042-2042 | Pressing lips together is a subclass of facial expression |
| (documentation PressingLipsTogether EnglishLanguage "A facial expression behavior in which the lips are tightly pressed together.") | emotion.kif 2043-2044 | Pressing lips together is a subclass of facial expression |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage PressingLipsTogether "pressing lips together") | emotion.kif 2041-2041 |
| antecedent |
|
|
| (=> (and (instance ?PLT PressingLipsTogether) (agent ?PLT ?A)) (exists (?L ?BM) (and (instance ?L Lip) (part ?L ?A) (instance ?BM BodyMotion) (patient ?BM ?L) (agent ?BM ?A)))) |
emotion.kif 2046-2056 | If X is an instance of pressing lips together and Y is an agent of X, then there exist Z, W such that Z is an instance of lip, Z is a part of Y, W is an instance of body motion, Z is a patient of W, and Y is an agent of W |
|