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 12939-12940
(externalImage Lip "http://upload.wikimedia.org/wikipedia/commons/f/f0/Lip.agr.jpg")	pictureList.kif 128-128
(subclass Lip AnimalAnatomicalStructure)	Mid-level-ontology.kif 12937-12937	Lip is a subclass of animal anatomical structure
(subclass Lip BodyPart)	Mid-level-ontology.kif 12938-12938	Lip is a subclass of body part

appearance as argument number 2

(termFormat ChineseLanguage Lip "唇")	domainEnglishFormat.kif 34599-34599
(termFormat ChineseTraditionalLanguage Lip "唇")	domainEnglishFormat.kif 34598-34598
(termFormat EnglishLanguage Lip "lip")	domainEnglishFormat.kif 34597-34597

antecedent

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

Mid-level-ontology.kif 12942-12947

If an object is an instance of lip,
then there exists another object such that the other object is an instance of mouth and the object is a part of the other 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 1202-1212	If a process is an instance of pressing lips together and an agent is an agent of the process, then there exist an object and another process such that the object is an instance of lip and the object is a part of the agent and the other process is an instance of body motion and the object is a patient of the other process and the agent is an agent of the other process
(=> (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 12953-12972	If a process is an instance of kissing, then there exist an agent, another agent,, , an object and another object such that the agent is an agent of the process and the other agent is an agent of the process and the agent is an instance of human and the other agent is an instance of human and the agent is not equal to the other agent and the object is an instance of lip and the other object is an instance of lip and the object is a part of the agent and the other object is a part of the other agent and the object doesn't meet the other object holds during the beginning of the time of existence of the process and the object meets the other object holds during the end of the time of existence of the process

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

KB Term:			Term intersection

English Word: