Lip - Sigma Knowledge base Browser

appearance as argument number 1

(documentation Lip EnglishLanguage "Folds of Tissue surrounding the mouths of some Vertebrates.")	Mid-level-ontology.kif 9813-9814
(externalImage Lip "http://upload.wikimedia.org/wikipedia/commons/f/f0/Lip.agr.jpg")	pictureList.kif 128-128
(subclass Lip AnimalAnatomicalStructure)	Mid-level-ontology.kif 9811-9811	subclass Lip and AnimalAnatomicalStructure
(subclass Lip BodyPart)	Mid-level-ontology.kif 9812-9812	subclass Lip and BodyPart

appearance as argument number 2

(termFormat ChineseLanguage Lip "唇")	domainEnglishFormat.kif 34465-34465
(termFormat ChineseTraditionalLanguage Lip "唇")	domainEnglishFormat.kif 34464-34464
(termFormat EnglishLanguage Lip "lip")	domainEnglishFormat.kif 34463-34463

antecedent

(=>
    (instance ?LIP Lip)
    (exists (?MOUTH)
        (and
            (instance ?MOUTH Mouth)
            (part ?LIP ?MOUTH))))

Mid-level-ontology.kif 9816-9821

instance Object and Lip
Object instance Object and Mouth part Object and Object

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 1184-1194	instance Process and PressingLipsTogether agent Process and Agent Object Process instance Object and Lip part Object and Agent instance Process and BodyMotion patient Process and Object agent Process and Agent
(=> (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 9827-9846	instance Process and Kissing Agent Agent, Object and Object agent Process and Agent agent Process and Agent instance Agent and Human instance Agent and Human equal Agent and Agent instance Object and Lip instance Object and Lip part Object and Agent part Object and Agent holdsDuring BeginFn WhenFn Process and meetsSpatially Object and Object holdsDuring EndFn WhenFn Process and meetsSpatially Object and Object

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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners

KB Term:			Term intersection

English Word: