Browsing Interface : Welcome guest : log in		 [  Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Arm
Arm(臂)

appearance as argument number 1
-------------------------


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 13809-13809
No TPTP formula. May not be expressible in strict first order. pictureList.kif 29-29
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 13808-13808 子類 臂 and 肢

appearance as argument number 2
-------------------------


No TPTP formula. May not be expressible in strict first order. Anatomy.kif 687-687 %每個 ArmBone 是 臂 的 initially part
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 12132-12132 %每個 Bicep 是 臂 的 initially part
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 12179-12179 %每個 Forearm 是 臂 的 initially part
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 12137-12137 %每個 Tricep 是 臂 的 initially part
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 12184-12184 %每個 UpperArm 是 臂 的 initially part
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 8383-8383 %每個 UpperArm 是 臂 的 initially part
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 8382-8382 %每個 UpperArm 是 臂 的 initially part
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 8381-8381 %每個 UpperArm 是 臂 的 initially part
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 12131-12131 Bicep typically 是 臂 的 part
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 12180-12180 Forearm typically 是 臂 的 part
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 12136-12136 Tricep typically 是 臂 的 part
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 12185-12185 UpperArm typically 是 臂 的 part

antecedent
-------------------------


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 13811-13816

consequent
-------------------------


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 4860-4868
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 6236-6244
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 14088-14093
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 13823-13828
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 18480-18485
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 14099-14104

statement
-------------------------


No TPTP formula. May not be expressible in strict first order. Medicine.kif 2843-2843 子類 LeftArm and BodySideFn 左 and 臂
No TPTP formula. May not be expressible in strict first order. Medicine.kif 2846-2846 子類 RightArm and BodySideFn 右 and 臂
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 6234-6234 子類 袖 and 對於 臂 的 covering


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