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(口)

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 12062-12062	connectedBodyPart 口 and Esophagus
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 12089-12089	connectedBodyPart 口 and 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	子類口 and 動物解剖結構
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 12076-12076	子類口 and BodyOrifice
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 11421-11421	子類口 and BodyPart
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 12056-12056	口 typically 是 GastroIntestinalTract 的 part

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 12309-12309	%每個 SalivaryGland 是口的 initially part
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	SalivaryGland typically 是口的 part

antecedent

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

Mid-level-ontology.kif 11425-11430

例 Object and 口
Object 例 Object and 面對部分 Object and Object

consequent

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 6514-6522	例 Process and 尖刻 agent Process and AutonomousAgent Object 例 Object and 口部分 Object and AutonomousAgent 儀器 Process and Object
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 6594-6606	例 Transfer and Swallowing agent Transfer and AutonomousAgent Object Object, TransferT and Object 例 Object and 口例 Object and Esophagus 例 TransferT and 胃 objectTransferred Transfer and Object 起源 Transfer and Object 目的地 Transfer and TransferT 路徑 Transfer and Object
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 6566-6576	例 Transfer and Drooling 體驗者 Transfer and AutonomousAgent Object Object 例 Object and 口 objectTransferred Transfer and Object 例 Object and Saliva 部分 Object and AutonomousAgent 起源 Transfer and Object
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 6552-6560	例 Process and 吐痰 agent Process and AutonomousAgent Object 例 Object and 口部分 Object and AutonomousAgent 起源 Process and Object
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 11592-11597	例 Object and 唇 Object 例 Object and 口部分 Object and Object
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 11726-11731	例 Object and 喉 Object 例 Object and 口連接的 Object and Object
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 11437-11442	例 Object and 舌 Object 例 Object and 口部分 Object and Object
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 11472-11477	例 Object and 齒 Object 例 Object and 口部分 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 3.0 is open source software produced by Articulate Software and its partners