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
-------------------------


(documentation Bone ChineseLanguage "这是大致由钙质所组成的坚硬Tissue，它构成了 Vertebrate 的 骨架。注：这个 Class 也包括牙齿。") chinese_format.kif 3526-3527
(documentation Bone EnglishLanguage "A Bone that is (or was) part of a Primate.") Anatomy.kif 22-22
(documentation Bone EnglishLanguage "Parts of the body that are made up of BoneTissue.") Merge.kif 15224-15224
(externalImage Bone "http://upload.wikimedia.org/wikipedia/commons/5/5b/ Humerus_ant.jpg") pictureList.kif 45-45
(initialPart Bone Primate) Anatomy.kif 21-21 Every bone is initially part of a primate
(subclass Bone BodyPart) Merge.kif 15223-15223 Bone is a subclass of body part
(subclass Bone Bone) Anatomy.kif 18-18 Bone is a subclass of bone

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


(intialPart BoneMarrow Bone) Medicine.kif 1221-1221 intialPart bone marrow and bone
(subclass ArmBone Bone) Anatomy.kif 685-685 Arm bone is a subclass of bone
(subclass Bone Bone) Anatomy.kif 18-18 Bone is a subclass of bone
(subclass Coccyx Bone) Anatomy.kif 1026-1026 Coccyx is a subclass of bone
(subclass FootBone Bone) Anatomy.kif 1099-1099 Foot bone is a subclass of bone
(subclass HeadBone Bone) Anatomy.kif 52-52 Head bone is a subclass of bone
(subclass Horn Bone) Mid-level-ontology.kif 11509-11509 Horn is a subclass of bone
(subclass Ivory Bone) Mid-level-ontology.kif 11520-11520 Ivory is a subclass of bone
(subclass LegBone Bone) Anatomy.kif 1032-1032 Leg bone is a subclass of bone
(subclass PelvicBone Bone) Anatomy.kif 1000-1000 Pelvis is a subclass of bone
(subclass Phalanx Bone) Anatomy.kif 1283-1283 Phalanx is a subclass of bone
(subclass RibBone Bone) Mid-level-ontology.kif 11230-11230 Rib bone is a subclass of bone
(subclass Sacrum Bone) Anatomy.kif 1017-1017 Sacrum is a subclass of bone
(subclass ShoulderGirdleBone Bone) Anatomy.kif 213-213 Shoulder girdle bone is a subclass of bone
(subclass ThoraxBone Bone) Anatomy.kif 246-246 Thorax bone is a subclass of bone
(subclass ThroatBone Bone) Anatomy.kif 202-202 Throat bone is a subclass of bone
(subclass Tooth Bone) Mid-level-ontology.kif 11469-11469 Tooth is a subclass of bone
(termFormat ChineseLanguage Bone "骨骼") chinese_format.kif 1026-1026
(termFormat EnglishLanguage Bone "Bone") Anatomy.kif 19-19
(termFormat EnglishLanguage Bone "bone") english_format.kif 1264-1264
(termFormat FrenchLanguage Bone "os") french_format.kif 704-704
(termFormat Hindi Bone "asthi") terms-hindi.txt 235-235
(termFormat ItalianLanguage Bone "Osso") terms-it.txt 238-238
(termFormat JapaneseLanguage Bone "骨") japanese_format.kif 2387-2387

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

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


(<=>
    (instance ?BONE Bone)
    (exists (?SKELETON)
        (and
            (or
                (instance ?SKELETON Skeleton)
                (instance ?SKELETON Exoskeleton))
            (part ?BONE ?SKELETON))))		 Mid-level-ontology.kif 11681-11688 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
(=>
    (instance ?B Bone)
    (material BoneTissue ?B))		 Merge.kif 15225-15227

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


(=>
    (and
        (instance ?A Amputating)
        (patient ?A ?H)
        (instance ?L Limb))
    (exists (?P ?B)
        (and
            (part ?P ?L)
            (part ?B ?P)
            (instance ?B Bone)
            (holdsDuring
                (ImmediatePastFn
                    (WhenFn ?A))
                (part ?P ?H))
            (holdsDuring
                (ImmediatePastFn
                    (WhenFn ?A))
                (not
                    (part ?P ?H))))))		 Medicine.kif 6257-6275
(=>
    (holdsDuring ?T
        (attribute ?H BoneFracture))
    (exists (?S ?B)
        (and
            (instance ?S Separating)
            (patient ?S ?B)
            (instance ?B Bone)
            (part ?B ?H)
            (meetsTemporally
                (WhenFn ?S) ?T))))		 Medicine.kif 6128-6137
(=>
    (holdsDuring ?T
        (attribute ?H OpenFracture))
    (exists (?S ?B)
        (and
            (instance ?S Skin)
            (part ?S ?H)
            (instance ?B Bone)
            (part ?B ?H)
            (holdsDuring ?T
                (traverses ?B ?S)))))		 Medicine.kif 6144-6154
(=>
    (instance ?O Ossification)
    (exists (?B)
        (and
            (instance ?B Bone)
            (result ?O ?B))))		 Mid-level-ontology.kif 11543-11548
(=>
    (instance ?S Skull)
    (memberType ?S Bone))		 Mid-level-ontology.kif 11482-11484
(=>
    (instance ?T Tendon)
    (exists (?M ?B)
        (and
            (instance ?M Muscle)
            (instance ?B Bone)
            (connects ?T ?M ?B))))		 Mid-level-ontology.kif 9448-9454


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