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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Bone

 Sigma KEE - Bone
Bone(骨骼)

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


No TPTP formula. May not be expressible in strict first order. chinese_format.kif 3526-3527
No TPTP formula. May not be expressible in strict first order. Anatomy.kif 22-22
No TPTP formula. May not be expressible in strict first order. Merge.kif 15202-15202
No TPTP formula. May not be expressible in strict first order. pictureList.kif 45-45
No TPTP formula. May not be expressible in strict first order. Anatomy.kif 21-21 %每个 骨骼 是 灵长类动物 的 initially part
No TPTP formula. May not be expressible in strict first order. Merge.kif 15201-15201 骨骼 是 身体部位 的 subclass
No TPTP formula. May not be expressible in strict first order. Anatomy.kif 18-18 骨骼 是 骨骼 的 subclass

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


No TPTP formula. May not be expressible in strict first order. Medicine.kif 1221-1221 intialPart BoneMarrow and 骨骼
No TPTP formula. May not be expressible in strict first order. Anatomy.kif 685-685 ArmBone 是 骨骼 的 subclass
No TPTP formula. May not be expressible in strict first order. Anatomy.kif 18-18 骨骼 是 骨骼 的 subclass
No TPTP formula. May not be expressible in strict first order. Anatomy.kif 1026-1026 Coccyx 是 骨骼 的 subclass
No TPTP formula. May not be expressible in strict first order. Anatomy.kif 1099-1099 FootBone 是 骨骼 的 subclass
No TPTP formula. May not be expressible in strict first order. Anatomy.kif 52-52 HeadBone 是 骨骼 的 subclass
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 11510-11510 喇叭 是 骨骼 的 subclass
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 11521-11521 象牙 是 骨骼 的 subclass
No TPTP formula. May not be expressible in strict first order. Anatomy.kif 1032-1032 LegBone 是 骨骼 的 subclass
No TPTP formula. May not be expressible in strict first order. Anatomy.kif 1000-1000 PelvicBone 是 骨骼 的 subclass
No TPTP formula. May not be expressible in strict first order. Anatomy.kif 1283-1283 Phalanx 是 骨骼 的 subclass
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 11231-11231 RibBone 是 骨骼 的 subclass
No TPTP formula. May not be expressible in strict first order. Anatomy.kif 1017-1017 Sacrum 是 骨骼 的 subclass
No TPTP formula. May not be expressible in strict first order. Anatomy.kif 213-213 ShoulderGirdleBone 是 骨骼 的 subclass
No TPTP formula. May not be expressible in strict first order. Anatomy.kif 246-246 ThoraxBone 是 骨骼 的 subclass
No TPTP formula. May not be expressible in strict first order. Anatomy.kif 202-202 ThroatBone 是 骨骼 的 subclass
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 11470-11470 齿 是 骨骼 的 subclass
No TPTP formula. May not be expressible in strict first order. chinese_format.kif 1026-1026
No TPTP formula. May not be expressible in strict first order. Anatomy.kif 19-19
No TPTP formula. May not be expressible in strict first order. english_format.kif 1264-1264
No TPTP formula. May not be expressible in strict first order. french_format.kif 704-704
No TPTP formula. May not be expressible in strict first order. terms-hindi.txt 235-235
No TPTP formula. May not be expressible in strict first order. terms-it.txt 238-238
No TPTP formula. May not be expressible in strict first order. japanese_format.kif 2387-2387

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 11682-11689 客体 是 骨骼 的 instance 若且唯若 有存在 另一个 客体 这样 那个 另外 客体 是 骨架 的 instance 或 那个 另外 客体 是 外骨骼 的 instance 和 那个 客体 是 那个 另外 客体 的 part
No TPTP formula. May not be expressible in strict first order. Merge.kif 15203-15205

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


No TPTP formula. May not be expressible in strict first order. Medicine.kif 6257-6275
No TPTP formula. May not be expressible in strict first order. Medicine.kif 6128-6137
No TPTP formula. May not be expressible in strict first order. Medicine.kif 6144-6154
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 11544-11549
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 11483-11485
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 9449-9455


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