TreeView Knowledge Base Browser - Mouth

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 12062-12062	A mouth is connected to a esophagus
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 12089-12089	A mouth is connected to a trachea
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 11422-11423
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 11420-11420	Mouth is a subclass of animal anatomical structure
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 12076-12076	Mouth is a subclass of body orifice
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 11421-11421	Mouth is a subclass of body part
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 12056-12056	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 12309-12309	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 12308-12308	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 11425-11430

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 6514-6522	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 6594-6606	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 6566-6576	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 6552-6560	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 11592-11597	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 11726-11731	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 11437-11442	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 11472-11477	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 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