TreeView Knowledge Base Browser - Chest

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - Chest

Chest

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 11241-11243
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 11240-11240	Chest 是动物解剖结构的 subclass

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 10795-10795	%每个 Pectoralis 是 Chest 的 initially part
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 11264-11264	%每个 Rib 是 Chest 的 initially part
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 11244-11244
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 10794-10794	Pectoralis typically 是 Chest 的 part
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 11263-11263	RibBone typically 是 Chest 的 part
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 11291-11291	Chest typically 有 part RibCage

antecedent

No TPTP formula. May not be expressible in strict first order.	Anatomy.kif 1799-1807	如果 Prone 是客体的 attribute 和那个客体在另一个客体的上在时间位置 holdsDuring 和第三客体是 Chest 的 instance 和那个第三客体是那个客体的 part，然后那个第三客体接上那个另外客体
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 11246-11256	如果客体是 Chest 的 instance 和类是动物的 instance 和那个客体是那个类的 instance 和那个客体是那个类的 part，然后有存在另一个客体这样那个另外客体是躯干的 instance 和那个客体是那个另外客体的 part 和那个另外客体是那个类的 part
No TPTP formula. May not be expressible in strict first order.	Anatomy.kif 1823-1830	如果客体是 Chest 的 instance 和那个客体是自身连接物体的 part 和另一个自身连接物体 equal 那个自身连接物体的后面，然后那个客体不是那个另外自身连接物体的 part

consequent

No TPTP formula. May not be expressible in strict first order.	Medicine.kif 895-917	如果转移是 Thoracentesis 的 instance 和客体是那个转移的 patient，然后有存在另一个转移，另一个客体,，，那个另外转移N,，，第四客体,，，第五客体， and 和第六客体这样那个另外转移是插入的 instance 和那个另外转移%n是那个转移的subProcess 和 objectTransferred 那个另外转移 and 第七客体和那个另外客体是那个另外转移的源头和那个另外转移在那个另外转移N 结束和那个第七客体是 Needle 的 instance 和流体是那个第六客体的 attribute 和 objectTransferred 那个转移 and 那个第六客体和那个第六客体在那个另外客体结束和那个第四客体是肺的 instance 和那个第五客体是 Chest 的 instance 和那个第四客体是那个客体的 part 和那个第五客体是那个客体的 part 和那个另外转移N 是那个转移的源头和那个转移在那个另外客体结束和那个另外转移N 是在那个第四客体和那个第五客体 between 和那个另外客体在那个客体的外
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 853-875	如果客体是 VentedChestSeal 的 instance 和转移是连接的 instance 和 objectTransferred 那个转移 and 那个客体和那个转移在实体结束，然后那个客体的目的是有存在那个转移，另一个实体,，，第三实体， and 和那个实体这样那个转移是空气的 instance 和那个另外实体是肺的 instance 和那个第三实体是 Chest 的 instance 和那个另外实体是那个实体的 part 和那个第三实体是那个实体的 part 和那个转移是在那个另外实体和那个第三实体 between 在紧接那个转移出现的 time before holdsDuring 和那个客体的目的是那个转移在那个实体的外在紧接那个转移出现的 time after holdsDuring
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 799-810	如果 Pneumothorax 是实体的 attribute 在时间位置 holdsDuring，然后有存在另一个实体这样那个另外实体是空气的 instance 和第三实体是肺的 instance 和第四实体是 Chest 的 instance 和那个第三实体是那个实体的 part 和那个第四实体是那个实体的 part 和那个另外实体是在那个第三实体和那个第四实体 between 在那个时间位置 holdsDuring
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 609-618	如果过程是 CPR 的 instance，然后有存在另一个过程，那个另外过程H， and 和另一个客体这样那个另外过程是 Compressing 的 instance 和那个另外客体是那个过程的 patient 和那个另外过程H 是 Chest 的 instance 和那个另外过程H 是那个另外客体的 part 和那个另外过程H 是那个另外过程的 patient 和那个另外过程%n是那个过程的subProcess
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 828-844	如果物理是 ChestSeal 的 instance，然后那个物理的目的是有存在实体，那个实体H,，，第三实体， and 和第四实体这样那个实体是关闭的 instance 和那个物理是导致那个实体的 instrument 和那个实体是 located 在那个实体H 和那个实体H 是 Chest 的 instance 和那个第四实体是洞的 instance 和那个实体H equal 洞那个第四实体的主体和那个第三实体是受伤的 instance 和那个第三实体是 located 在那个实体H 和那个第三实体出现的 time 比那个实体出现的 time发生的earlier
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 4891-4911	如果物理是 Ivabradine 的 instance，然后那个物理的目的是有存在实体，那个物理N， and 和第三实体这样那个实体是人类的 instance 和那个第三实体是 PainFn Chest 的 instance 和那个实体经历了那个第三实体和那个物理N 是消化的 instance 和那个实体是那个物理N 的 agent 和那个第三实体出现的 time 比那个物理N 出现的 time发生的earlier 和不存在那个第三实体2 这样那个第三实体2 是 PainFn Chest 的 instance 和那个实体经历了那个第三实体2 和那个物理N 出现的 time 比那个第三实体2 出现的 time发生的earlier

statement

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

Medicine.kif 2016-2016

ChestPain 是 PainFn Chest 的 subclass

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