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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Bone

Sigma KEE - Bone
Bone(bone)
Wormian_bone, acromial_process, acromion, alveolar_arch, alveolar_process, alveolar_ridge, arcus_zygomaticus, astragalar, baleen, bare_bone, bone, boned, boneless, bonelet, bonelike, boney, bony, braincase, brainpan, cannon_bone, cartilage_bone, centrum, cervical_vertebra, coccygeal, condylar, corpus_sternum, costal, cranial, cranium, cuneiform, deltoid_eminence, deltoid_tuberosity, dental, dentin, dentine, diaphyseal, diaphysial, diaphysis, eminence, epiphyseal, epiphysial, epiphysis, fetter_bone, fishbone, furcula, gladiolus, gum_ridge, hard_palate, hyoid, iliac...

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 Every bone is initially part of a primate
No TPTP formula. May not be expressible in strict first order. Merge.kif 15201-15201 Bone is a subclass of body part
No TPTP formula. May not be expressible in strict first order. Anatomy.kif 18-18 Bone is a subclass of bone

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


No TPTP formula. May not be expressible in strict first order. Medicine.kif 1221-1221 intialPart bone marrow and bone
No TPTP formula. May not be expressible in strict first order. Anatomy.kif 685-685 Arm bone is a subclass of bone
No TPTP formula. May not be expressible in strict first order. Anatomy.kif 18-18 Bone is a subclass of bone
No TPTP formula. May not be expressible in strict first order. Anatomy.kif 1026-1026 Coccyx is a subclass of bone
No TPTP formula. May not be expressible in strict first order. Anatomy.kif 1099-1099 Foot bone is a subclass of bone
No TPTP formula. May not be expressible in strict first order. Anatomy.kif 52-52 Head bone is a subclass of bone
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 11510-11510 Horn is a subclass of bone
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 11521-11521 Ivory is a subclass of bone
No TPTP formula. May not be expressible in strict first order. Anatomy.kif 1032-1032 Leg bone is a subclass of bone
No TPTP formula. May not be expressible in strict first order. Anatomy.kif 1000-1000 Pelvis is a subclass of bone
No TPTP formula. May not be expressible in strict first order. Anatomy.kif 1283-1283 Phalanx is a subclass of bone
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 11231-11231 Rib bone is a subclass of bone
No TPTP formula. May not be expressible in strict first order. Anatomy.kif 1017-1017 Sacrum is a subclass of bone
No TPTP formula. May not be expressible in strict first order. Anatomy.kif 213-213 Shoulder girdle bone is a subclass of bone
No TPTP formula. May not be expressible in strict first order. Anatomy.kif 246-246 Thorax bone is a subclass of bone
No TPTP formula. May not be expressible in strict first order. Anatomy.kif 202-202 Throat bone is a subclass of bone
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 11470-11470 Tooth is a subclass of bone
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 An object is an instance of bone if and only if there exists another object such that the other object is an instance of skeleton or the other object is an instance of exoskeleton and the object is a part of the other object
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