TreeView Knowledge Base Browser - Limb

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Limb

Sigma KEE - Limb

Limb(肢)

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 12550-12552
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 1157-1157
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 12548-12548	子類肢 and 動物解剖結構
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 12549-12549	子類肢 and BodyPart

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 12504-12504	%每個數字附屬物是肢的 initially part
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 12458-12458	子類臂 and 肢
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 12671-12671	子類腿 and 肢
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 10981-10981	子類翅膀 and 肢
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 34421-34421
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 34420-34420
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 34419-34419

antecedent

No TPTP formula. May not be expressible in strict first order.	Medicine.kif 6257-6275	例 Process and Amputating 患者 Process and Entity 例 Object and 肢 Object Object 部分 Object and Object 部分 Object and Object 例 Object and Bone 持有期間不久的過去何時 Process and 部分 Object and Entity 持有期間不久的過去何時 Process and 部分 Object and Entity
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 12809-12814	例 Object and 軀幹例 Object and 肢在空間上重疊 Object and Object
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 12554-12559	例 Object and 肢 Object 例 Object and Vertebrate 部分 Object and Object

consequent

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 12485-12490	例 Object and 數字附屬物 Object 例 Object and 肢部分 Object and Object
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 12564-12569	例 Object and 蛇 Object 例 Object and 肢部分 Object and Object

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