Lip - Sigma Knowledge base Browser

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

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 11590-11591
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 128-128
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 11588-11588	Lip is a subclass of animal anatomical structure
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 11589-11589	Lip is a subclass of body part

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 34571-34571
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 34570-34570
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 34569-34569

antecedent

No TPTP formula. May not be expressible in strict first order.

Mid-level-ontology.kif 11593-11598

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

No TPTP formula. May not be expressible in strict first order.	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
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 11604-11623	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