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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - PressingLipsTogether
PressingLipsTogether

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


(documentation PressingLipsTogether EnglishLanguage "A facial expression behavior in which the lips are tightly pressed together.") emotion.kif 1199-1200
(subclass PressingLipsTogether FacialExpression) emotion.kif 1198-1198 PressingLipsTogether est une sous-classe de FacialExpression

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


(termFormat EnglishLanguage PressingLipsTogether "pressing lips together") emotion.kif 1197-1197

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 1202-1212


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