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 12551-12553
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 12549-12549	子類肢 and 動物解剖結構
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 12550-12550	子類肢 and BodyPart

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 12505-12505	%每個數字附屬物是肢的 initially part
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 12459-12459	子類臂 and 肢
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 12672-12672	子類腿 and 肢
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 10982-10982	子類翅膀 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 12810-12815	例 Object and 軀幹例 Object and 肢在空間上重疊 Object and Object
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 12555-12560	例 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 12486-12491	例 Object and 數字附屬物 Object 例 Object and 肢部分 Object and Object
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 12565-12570	例 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