BodyPart - Sigma Knowledge base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 3493-3494
No TPTP formula. May not be expressible in strict first order.	Merge.kif 15054-15057
No TPTP formula. May not be expressible in strict first order.	Merge.kif 15053-15053	子類 BodyPart and AnatomicalStructure

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Merge.kif 15018-15018	劃分 AnatomicalStructure, BodyPart and 異常的解剖結構
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 6216-6216	範圍子類 BodyAreaFn and BodyPart
No TPTP formula. May not be expressible in strict first order.	Merge.kif 15077-15077	範圍子類 BodySideFn and BodyPart
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 12875-12875	子類動物殼 and BodyPart
No TPTP formula. May not be expressible in strict first order.	Anatomy.kif 1610-1610	子類 Auricle and BodyPart
No TPTP formula. May not be expressible in strict first order.	Merge.kif 15202-15202	子類體腔 and BodyPart
No TPTP formula. May not be expressible in strict first order.	Merge.kif 15176-15176	子類 BodyCovering and BodyPart
No TPTP formula. May not be expressible in strict first order.	Merge.kif 15190-15190	子類 BodyJunction and BodyPart
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 11921-11921	子類 BodySegment and BodyPart
No TPTP formula. May not be expressible in strict first order.	Merge.kif 15305-15305	子類 Bone and BodyPart
No TPTP formula. May not be expressible in strict first order.	Merge.kif 15210-15210	子類 Cell and BodyPart
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 12228-12228	子類細胞部分 and BodyPart
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 14268-14268	子類下巴 and BodyPart
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 13483-13483	子類 Cornea and BodyPart
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 13831-13831	子類數字附屬物 and BodyPart
No TPTP formula. May not be expressible in strict first order.	Anatomy.kif 1622-1622	子類 Eardrum and BodyPart
No TPTP formula. May not be expressible in strict first order.	Food.kif 2546-2546	子類 EggYolk and BodyPart
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 13019-13019	子類外骨骼 and BodyPart
No TPTP formula. May not be expressible in strict first order.	Anatomy.kif 1433-1433	子類 Eyebrow and BodyPart
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 14232-14232	子類面對 and BodyPart
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 21961-21961	子類羽毛 and BodyPart
No TPTP formula. May not be expressible in strict first order.	Anatomy.kif 1482-1482	子類 Forehead and BodyPart
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 13219-13219	子類 FrontalLobe and BodyPart
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 14215-14215	子類頭 and BodyPart
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 12807-12807	子類蹄 and BodyPart

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

appearance as argument number 3

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 13758-13758	域 InflammationFn, 1 and BodyPart
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 7313-7313	域 PainFn, 1 and BodyPart
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 7286-7286	域 ParalysisFn, 1 and BodyPart
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 12052-12052	域 bodyAngle, 1 and BodyPart
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 12053-12053	域 bodyAngle, 2 and BodyPart
No TPTP formula. May not be expressible in strict first order.	Geography.kif 6518-6518	域 sheddingBodyPart, 2 and BodyPart
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 6215-6215	域子類 BodyAreaFn, 1 and BodyPart
No TPTP formula. May not be expressible in strict first order.	Merge.kif 15076-15076	域子類 BodySideFn, 2 and BodyPart
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 31390-31390	域子類 CoveringFn, 1 and BodyPart
No TPTP formula. May not be expressible in strict first order.	Merge.kif 18373-18373	域子類 DeadOrMissingBodyPartFn, 1 and BodyPart
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 11328-11328	域子類 EdemaFn, 1 and BodyPart
No TPTP formula. May not be expressible in strict first order.	Merge.kif 18352-18352	域子類 ImpairedBodyPartFn, 1 and BodyPart
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 13311-13311	域子類 connectedBodyPart, 1 and BodyPart
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 13312-13312	域子類 connectedBodyPart, 2 and BodyPart
No TPTP formula. May not be expressible in strict first order.	Anatomy.kif 26-26	域子類 connectedBodyPartTypes, 1 and BodyPart
No TPTP formula. May not be expressible in strict first order.	Anatomy.kif 27-27	域子類 connectedBodyPartTypes, 2 and BodyPart
No TPTP formula. May not be expressible in strict first order.	Anatomy.kif 1736-1736	域子類 muscleInsertion, 2 and BodyPart
No TPTP formula. May not be expressible in strict first order.	Anatomy.kif 1686-1686	域子類 muscleOrigin, 2 and BodyPart
No TPTP formula. May not be expressible in strict first order.	Anatomy.kif 1944-1944	域子類 suppliesBlood, 2 and BodyPart

antecedent

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 31842-31852	例 Entity and BodyPart 持有期間 TimePosition and attribute Entity and Bare 持有期間 TimePosition and entity 例 entity and Clothing covers entity and Entity
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 996-1007	例 Process and LocalAnesthetizing 位於 Process and Object 例 Object and BodyPart 部分 Object and Object 患者 Process and Object 持有期間何時 Process and attribute Object and PainFn Object
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 3613-3629	例 Transfer and 注射例 Object and Adalimumab objectTransferred Transfer and Object 位於 Transfer and Object 例 Object and BodyPart 目的地 Transfer and Entity 模態屬性 entity 持有期間 entity and attribute Entity and PainFn Object 期間 entity and 未來何時 Transfer and 容易
No TPTP formula. May not be expressible in strict first order.	Merge.kif 15059-15065	例 Entity and BodyPart Physical TimePosition 例 Physical and Organism 時間部分 TimePosition and 何時 Physical 持有期間 TimePosition and 零件 Entity and Physical
No TPTP formula. May not be expressible in strict first order.	Merge.kif 15067-15072	例 Entity and BodyPart Process 例 Process and PhysiologicProcess 結果 Process and Entity

consequent

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 11335-11343	例 Process and EdemaFn BodyPart 體驗者 Process and AutonomousAgent BodyPartI 例 BodyPartI and BodyPart 部分 BodyPartI and AutonomousAgent 位於 Process and BodyPartI
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 11313-11325	例 Process and Edema 體驗者 Process and AutonomousAgent Motion Object and Object 例 Motion and Transfer 例 Object and 液體例 Object and BodyPart 部分 Object and AutonomousAgent 目的地 Motion and Object 移動 Motion and Object 子過程 Motion and Process
No TPTP formula. May not be expressible in strict first order.	Merge.kif 11203-11209	例 Motion and BodyMotion 移動 Motion and Object 例 Object and BodyPart 患者 Motion and Object
No TPTP formula. May not be expressible in strict first order.	emotion.kif 1505-1515	例 Process and PerspiringWholeBody 體驗者 Process and AutonomousAgent Object 例 Object and BodyPart 部分 Object and AutonomousAgent 目的地 Process and Object
No TPTP formula. May not be expressible in strict first order.	Anatomy.kif 1964-1978	attribute Object and Dorsal SelfConnectedObject 例 SelfConnectedObject and Organism 例 SelfConnectedObject and BodyPart ~{ 例 SelfConnectedObject and Organism } ~{ 例 SelfConnectedObject and BodyPart } 部分 Object and SelfConnectedObject 等於 SelfConnectedObject and 背部 SelfConnectedObject 空間的符合 SelfConnectedObject and Object
No TPTP formula. May not be expressible in strict first order.	Anatomy.kif 1985-1999	attribute Object and Ventral SelfConnectedObject SelfConnectedObject 例 SelfConnectedObject and Organism 例 SelfConnectedObject and BodyPart ~{ 例 SelfConnectedObject and Organism } ~{ 例 SelfConnectedObject and BodyPart } 部分 Object and SelfConnectedObject 等於 SelfConnectedObject and 面前 SelfConnectedObject 空間的符合 SelfConnectedObject and Object
No TPTP formula. May not be expressible in strict first order.	Anatomy.kif 2007-2022	例 Motion and Abducting Object Object, Object and Process 例 Object and BodyPart 例 Object and Organism 例 Object and 軀幹等於 Object and Object 子過程 Process and MovingAwayFrom 患者 Process and Object 患者 Process and Object 部分 Object and Object 部分 Object and Object 體驗者 Motion and Organism 移動 Motion and Object
No TPTP formula. May not be expressible in strict first order.	Anatomy.kif 2031-2047	例 Motion and Adducting Object Object, Object and Process 例 Object and BodyPart 例 Object and Organism 例 Object and 軀幹等於 Object and Object 例 Process and MovingTowards 子過程 Process and Motion 患者 Process and Object 患者 Process and Object 部分 Object and Object 部分 Object and Object 體驗者 Motion and Organism 移動 Motion and Object
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 7409-7414	例 Process and 痿 AutonomousAgent 體驗者 Process and AutonomousAgent 例 AutonomousAgent and BodyPart
No TPTP formula. May not be expressible in strict first order.	Merge.kif 15181-15188	例 Object and BodyCovering Object 膚淺的部分 Object and Object 例 Object and Organism 例 Object and BodyPart
No TPTP formula. May not be expressible in strict first order.	Merge.kif 15194-15200	例 Object and BodyJunction Object Object 例 Object and BodyPart 例 Object and BodyPart 連接 Object, Object and Object
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 2587-2596	例 Process and Excreting AutonomousAgent Entity and Object 例 AutonomousAgent and Organism agent Process and AutonomousAgent 患者 Process and Entity 例 Entity and Excrement 例 Object and BodyPart 儀器 Process and Object
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 10773-10780	例 Object and Ulcer HoleRegion Object 例 HoleRegion and HoleRegion 例 Object and BodyPart 等於 Object and 洞主持人 HoleRegion 部分 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

KB Term:			Term intersection

English Word: