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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Lip
Lip(lip)
lip, overlip, underlip

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


(documentation Lip EnglishLanguage "Folds of Tissue surrounding the mouths of some Vertebrates.") Mid-level-ontology.kif 11126-11127
(externalImage Lip "http://upload.wikimedia.org/wikipedia/commons/f/f0/Lip.agr.jpg") pictureList.kif 128-128
(subclass Lip AnimalAnatomicalStructure) Mid-level-ontology.kif 11124-11124 Lip is a subclass of animal anatomical structure
(subclass Lip BodyPart) Mid-level-ontology.kif 11125-11125 Lip is a subclass of body part

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


(termFormat ChineseLanguage Lip "唇") domainEnglishFormat.kif 34554-34554
(termFormat ChineseTraditionalLanguage Lip "唇") domainEnglishFormat.kif 34553-34553
(termFormat EnglishLanguage Lip "lip") domainEnglishFormat.kif 34552-34552

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


(=>
    (instance ?LIP Lip)
    (exists (?MOUTH)
        (and
            (instance ?MOUTH Mouth)
            (part ?LIP ?MOUTH))))
Mid-level-ontology.kif 11129-11134

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


(=>
    (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
(=>
    (instance ?KISS Kissing)
    (exists (?PERSON1 ?PERSON2 ?LIP1 ?LIP2)
        (and
            (agent ?KISS ?PERSON1)
            (agent ?KISS ?PERSON2)
            (instance ?PERSON1 Human)
            (instance ?PERSON2 Human)
            (not
                (equal ?PERSON1 ?PERSON2))
            (instance ?LIP1 Lip)
            (instance ?LIP2 Lip)
            (part ?LIP1 ?PERSON1)
            (part ?LIP2 ?PERSON2)
            (holdsDuring
                (BeginFn
                    (WhenFn ?KISS))
                (not
                    (meetsSpatially ?LIP1 ?LIP2)))
            (holdsDuring
                (EndFn
                    (WhenFn ?KISS))
                (meetsSpatially ?LIP1 ?LIP2)))))
Mid-level-ontology.kif 11140-11159


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