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 11214-11216
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 11213-11213	子類 Chest and 動物解剖結構

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 10768-10768	%每個 Pectoralis 是 Chest 的 initially part
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 11237-11237	%每個 Rib 是 Chest 的 initially part
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 11217-11217
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 10767-10767	Pectoralis typically 是 Chest 的 part
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 11236-11236	RibBone typically 是 Chest 的 part
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 11264-11264	Chest typically 有 part RibCage

antecedent

No TPTP formula. May not be expressible in strict first order.	Anatomy.kif 1799-1807	持有期間 TimePosition and attribute Object and Prone 方位 Object, Object and 上例 Object and Chest 部分 Object and Object 空間的符合 Object and Object
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 11219-11229	例 Object and Chest 例 Class and Animal 例 Object and Class 部分 Object and Class Object 例 Object and 軀幹部分 Object and Object 部分 Object and Class
No TPTP formula. May not be expressible in strict first order.	Anatomy.kif 1823-1830	例 Object and Chest 部分 Object and SelfConnectedObject 等於 SelfConnectedObject and 背部 SelfConnectedObject 部分 Object and SelfConnectedObject

consequent

No TPTP formula. May not be expressible in strict first order.	Medicine.kif 895-917	例 Transfer and Thoracentesis 患者 Transfer and Object Transfer Object, TransferN, Object, Object and Object 例 Transfer and 插入子過程 Transfer and Transfer objectTransferred Transfer and Object 起源 Transfer and Object 目的地 Transfer and TransferN 例 Object and Needle attribute Object and 流體 objectTransferred Transfer and Object 目的地 Object and Object 例 Object and 肺例 Object and Chest 部分 Object and Object 部分 Object and Object 起源 Transfer and TransferN 目的地 Transfer and Object 之間 Object, TransferN and Object 方位 Object, Object and 外
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 853-875	例 Object and VentedChestSeal 例 Transfer and Attaching objectTransferred Transfer and Object 目的地 Transfer and Entity 有目的 Object and Transfer entity, entity and Entity 例 Transfer and 空氣例 entity and 肺例 entity and Chest 部分 entity and Entity 部分 entity and Entity 持有期間不久的過去何時 Transfer and 之間 entity, Transfer and entity 有目的 Object and 持有期間眼前的未來何時 Transfer and 方位 Transfer, Entity and 外
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 799-810	持有期間 TimePosition and attribute entity and Pneumothorax 持有期間 TimePosition and entity 例 entity and 空氣例 entity and 肺例 entity and Chest 部分 entity and entity 部分 entity and entity 之間 entity, entity and entity
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 609-618	例 Process and CPR Process ProcessH and Object 例 Process and Compressing 患者 Process and Object 例 ProcessH and Chest 部分 ProcessH and Object 患者 Process and ProcessH 子過程 Process and Process
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 828-844	例 Physical and ChestSeal 有目的 Physical and entity entityH, entity and entity 例 entity and 關閉儀器 entity and Physical 位於 entity and entityH 例 entityH and Chest 例 entity and HoleRegion 等於 entityH and 洞主持人 entity 例 entity and Injuring 位於 entity and entityH 早期何時 entity and 何時 entity
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 4891-4911	例 Physical and Ivabradine 有目的 Physical and entity PhysicalN and entity 例 entity and Human 例 entity and PainFn Chest 體驗者 entity and entity 例 PhysicalN and Ingesting agent PhysicalN and entity 早期何時 entity and 何時 PhysicalN entity 例 entity and PainFn Chest 體驗者 entity and entity 早期何時 PhysicalN and 何時 entity

statement

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

Medicine.kif 2016-2016

子類 ChestPain and PainFn Chest

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