TreeView Knowledge Base Browser - Foot

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Foot

Sigma KEE - Foot

Foot(足)

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 12699-12700
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 441-441
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 97-97
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 12697-12697	子類足 and 動物解剖結構
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 12698-12698	子類足 and BodySegment

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Anatomy.kif 1102-1102	%每個 FoodBone 是足的 initially part
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 24572-24572
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 24571-24571
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 24570-24570

antecedent

No TPTP formula. May not be expressible in strict first order.	Medicine.kif 1374-1381	持有期間 TimePosition and attribute entity and 傳染病 attribute entity and Diabetes attribute entity and ImpairedBodyPartFn 足持有期間 TimePosition and 傳染病是對於注射的 disease 治癒 Ertapenem
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 12702-12707	例 Object and 足 Object 例 Object and 腿部分 Object and Object

consequent

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 12709-12722	例 Object and Primate 例 Attribute and DiseaseOrSyndrome attribute Object and Attribute Object Object 例 Object and 足例 Object and 足等於 Object and Object 部分 Object and Object 部分 Object and Object
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 6637-6645	例 Process and 踢 agent Process and AutonomousAgent Object 例 Object and 足部分 Object and AutonomousAgent 儀器 Process and Object
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 5247-5255	穿 Animal and SelfConnectedObject 例 SelfConnectedObject and 襪子 Object 例 Object and 足部分 Object and Animal 包含 SelfConnectedObject and Object
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 5184-5192	穿 Animal and 可穿戴物品例可穿戴物品 and 鞋 Object 例 Object and 足部分 Object and Animal 空間的符合可穿戴物品 and Object
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 11461-11468	例 Object and 蹄 Object Object 例 Object and 足例 Object and HoofedMammal 部分 Object and Object 部分 Object and Object
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 5212-5232	例 SelfConnectedObject and 檀香 HoleRegion HoleRegion 例 HoleRegion and HoleRegion hole HoleRegion and SelfConnectedObject 例 HoleRegion and HoleRegion hole HoleRegion and SelfConnectedObject 等於 HoleRegion and HoleRegion 有目的 HoleRegion and entity entity, entity and entity 例 entity and 調味料例 entity and 足 agent entity and entity 部分 entity and entity 子過程 entity and entity 例 entity and 插入患者 entity and entity 目的地 entity and HoleRegion
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 12762-12767	例 Object and 腳趾 Object 例 Object and 足部分 Object and Object

statement

No TPTP formula. May not be expressible in strict first order.	Medicine.kif 2924-2924	子類 LeftFoot and BodySideFn 左 and 足
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 2993-2993	子類 PedalEdema and EdemaFn 足
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 2927-2927	子類 RightFoot and BodySideFn 右 and 足
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 5182-5182	子類鞋 and 對於足的 covering
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 5245-5245	子類襪子 and 對於足的 covering

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