TreeView Knowledge Base Browser - Throat

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - Throat

Throat(喉)

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 11724-11725
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 187-187
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 11723-11723	喉是空中航线的 subclass
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 11721-11721	喉是动物解剖结构的 subclass
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 11722-11722	喉是身体管道的 subclass

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 57926-57926
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 57925-57925
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 57924-57924

antecedent

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

Mid-level-ontology.kif 11727-11732

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

consequent

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 6056-6075	如果过程是 Coughing 的 instance 和施事体经历了那个过程，然后那个过程的目的是有存在实体，另一个实体,，，第三实体， and 和第四实体这样那个另外实体是肺的 instance 和那个第四实体是喉的 instance 和那个第三实体是客体的 instance 和那个实体是移除的 instance 和那个另外实体是那个施事体的 part 和那个第四实体是那个施事体的 part 和 objectTransferred 那个实体 and 那个第三实体和那个第三实体是 located 在那个第四实体或那个第三实体是 located 在那个另外实体在紧接那个过程出现的 time before holdsDuring
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 754-765	如果过程是 Cricothyroidotomy 的 instance 和实体是那个过程的 patient，然后有存在另一个实体这样那个另外实体是洞的 instance 和第三实体 equal 洞那个另外实体的主体和那个第三实体是喉的 instance 和那个第三实体是那个实体的 part 在那个过程出现的 time 的结束 holdsDuring
No TPTP formula. May not be expressible in strict first order.	emotion.kif 1710-1721	如果过程是 ExperiencingALumpInTheThroat 的 instance 和施事体经历了那个过程，然后有存在另一个过程和客体这样那个另外过程是感知的 instance 和那个另外过程%n是那个过程的subProcess 和那个施事体是那个另外过程的 agent 和那个客体是那个另外过程的 patient 和那个客体是喉的 instance 和那个客体是那个施事体的 part
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 11327-11333	如果客体是鼻孔的 instance，然后有存在另一个客体和第三客体这样那个另外客体是鼻子的 instance 和那个第三客体是喉的 instance 和那个客体 connects 那个另外客体和那个第三客体
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 6530-6535	如果过程是绞杀的 instance，然后有存在实体这样那个实体是那个过程的 patient 和那个实体是喉的 instance
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 11740-11745	如果客体是 Trachea 的 instance，然后有存在那个客体H 这样那个客体H 是喉的 instance 和那个客体H 和那个客体是 connected

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