Mouth - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

[ Home | Graph | ] KB: Language:
Formal Language:

KB Term:			Term intersection

English Word:

Sigma KEE - Mouth

Mouth(mouth)

mouth, oral_cavity, oral_fissure, rima_oris

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 12063-12063	A mouth is connected to a esophagus
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 12090-12090	A mouth is connected to a trachea
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 11423-11424
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 608-608
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 134-134
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 11421-11421	Mouth is a subclass of animal anatomical structure
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 12077-12077	Mouth is a subclass of body orifice
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 11422-11422	Mouth is a subclass of body part
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 12057-12057	A mouth is typically a part of a GI

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 12310-12310	Every salivary gland is initially part of a mouth
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 39009-39009
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 39008-39008
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 39007-39007
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 12309-12309	A salivary gland is typically a part of a mouth

antecedent

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

Mid-level-ontology.kif 11426-11431

If an object is an instance of mouth,
then there exists another object such that the other object is an instance of face and the object is a part of the other object

consequent

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 6515-6523	If a process is an instance of biting and an agent is an agent of the process, then there exists an object such that the object is an instance of mouth and the object is a part of the agent and the object is an instrument for the process
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 6595-6607	If a transfer is an instance of swallowing and an agent is an agent of the transfer, then there exist an object, another object,, , the transferT and a third object such that the object is an instance of mouth and the other object is an instance of esophagus and the transferT is an instance of stomach and the object transferred in the transfer is the third object and the transfer originates at the object and the transfer ends up at the transferT and the other object is path along which the transfer occurs
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 6567-6577	If a transfer is an instance of drooling and an agent experiences the transfer, then there exist an object and another object such that the object is an instance of mouth and the object transferred in the transfer is the other object and the other object is an instance of saliva and the object is a part of the agent and the transfer originates at the object
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 6553-6561	If a process is an instance of spitting and an agent is an agent of the process, then there exists an object such that the object is an instance of mouth and the object is a part of the agent and the process originates at the object
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
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 11727-11732	If an object is an instance of throat, then there exists another object such that the other object is an instance of mouth and the object is connected to the other object
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 11438-11443	If an object is an instance of tongue, 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
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 11473-11478	If an object is an instance of tooth, 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

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