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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Lip

 Sigma KEE - Lip
Lip

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


(documentation Lip EnglishLanguage "Folds of Tissue surrounding the mouths of some Vertebrates.") Mid-level-ontology.kif 11617-11618
(externalImage Lip "http://upload.wikimedia.org/wikipedia/commons/f/f0/Lip.agr.jpg") pictureList.kif 128-128
(subclass Lip AnimalAnatomicalStructure) Mid-level-ontology.kif 11615-11615 Lip è una sottoclasse di AnimalAnatomicalStructure
(subclass Lip BodyPart) Mid-level-ontology.kif 11616-11616 Lip è una sottoclasse di ParteDelCorpo

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


(termFormat ChineseLanguage Lip "唇") domainEnglishFormat.kif 34571-34571
(termFormat ChineseTraditionalLanguage Lip "唇") domainEnglishFormat.kif 34570-34570
(termFormat EnglishLanguage Lip "lip") domainEnglishFormat.kif 34569-34569

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


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

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 11631-11650


Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree


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