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

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 12063-12063	connectedBodyPart 口 and Esophagus
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 12090-12090	connectedBodyPart 口 and 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	口是动物解剖结构的 subclass
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 12077-12077	口是 BodyOrifice 的 subclass
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 11422-11422	口是身体部位的 subclass
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 12057-12057	口 typically 是 GastroIntestinalTract 的 part

appearance as argument number 2

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

antecedent

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

Mid-level-ontology.kif 11426-11431

如果客体是口的 instance，
然后有存在另一个客体这样那个另外客体是面对的 instance 和那个客体是那个另外客体的 part

consequent

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 6515-6523	如果过程是尖刻的 instance 和施事体是那个过程的 agent，然后有存在客体这样那个客体是口的 instance 和那个客体是那个施事体的 part 和那个客体是导致那个过程的 instrument
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 6595-6607	如果转移是 Swallowing 的 instance 和施事体是那个转移的 agent，然后有存在客体，另一个客体,，，那个转移T， and 和第三客体这样那个客体是口的 instance 和那个另外客体是 Esophagus 的 instance 和那个转移T 是胃的 instance 和 objectTransferred 那个转移 and 那个第三客体和那个客体是那个转移的源头和那个转移在那个转移T 结束和那个另外客体%n是那个转移发生的path
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 6567-6577	如果转移是 Drooling 的 instance 和施事体经历了那个转移，然后有存在客体和另一个客体这样那个客体是口的 instance 和 objectTransferred 那个转移 and 那个另外客体和那个另外客体是 Saliva 的 instance 和那个客体是那个施事体的 part 和那个客体是那个转移的源头
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 6553-6561	如果过程是吐痰的 instance 和施事体是那个过程的 agent，然后有存在客体这样那个客体是口的 instance 和那个客体是那个施事体的 part 和那个客体是那个过程的源头
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 11593-11598	如果客体是唇的 instance，然后有存在另一个客体这样那个另外客体是口的 instance 和那个客体是那个另外客体的 part
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 11727-11732	如果客体是喉的 instance，然后有存在另一个客体这样那个另外客体是口的 instance 和那个客体和那个另外客体是 connected
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 11438-11443	如果客体是舌的 instance，然后有存在另一个客体这样那个另外客体是口的 instance 和那个客体是那个另外客体的 part
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 11473-11478	如果客体是齿的 instance，然后有存在另一个客体这样那个另外客体是口的 instance 和那个客体是那个另外客体的 part

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