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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Bone
Bone

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 21-21
(documentation Bone EnglishLanguage "Parts of the body that are made up of BoneTissue.") Merge.kif 15340-15340
(externalImage Bone "http://upload.wikimedia.org/wikipedia/commons/5/5b/ Humerus_ant.jpg") pictureList.kif 45-45
(initialPart Bone Primate) Anatomy.kif 20-20
(subclass Bone BodyPart) Merge.kif 15339-15339

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


(initialPart BoneMarrow Bone) Medicine.kif 1213-1213
(subclass ArmBone Bone) Anatomy.kif 700-700
(subclass Coccyx Bone) Anatomy.kif 1057-1057
(subclass FootBone Bone) Anatomy.kif 1130-1130
(subclass HeadBone Bone) Anatomy.kif 52-52
(subclass Horn Bone) Mid-level-ontology.kif 12859-12859
(subclass Ivory Bone) Mid-level-ontology.kif 12870-12870
(subclass LegBone Bone) Anatomy.kif 1063-1063
(subclass PelvicBone Bone) Anatomy.kif 1031-1031
(subclass Phalanx Bone) Anatomy.kif 1316-1316
(subclass RibBone Bone) Mid-level-ontology.kif 12580-12580
(subclass Sacrum Bone) Anatomy.kif 1048-1048
(subclass ShoulderGirdleBone Bone) Anatomy.kif 228-228
(subclass ThoraxBone Bone) Anatomy.kif 261-261
(subclass ThroatBone Bone) Anatomy.kif 217-217
(subclass Tooth Bone) Mid-level-ontology.kif 12819-12819
(termFormat ChineseLanguage Bone "骨骼") chinese_format.kif 1026-1026
(termFormat EnglishLanguage Bone "Bone") Anatomy.kif 18-18
(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
(termFormat PortugueseLanguage Bone "Osso") portuguese_format.kif 656-656

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 13031-13038
(=>
    (instance ?B Bone)
    (material BoneTissue ?B))
Merge.kif 15341-15343

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 6274-6292
(=>
    (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 6145-6154
(=>
    (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 6161-6171
(=>
    (instance ?O Ossification)
    (exists (?B)
        (and
            (instance ?B Bone)
            (result ?O ?B))))
Mid-level-ontology.kif 12893-12898
(=>
    (instance ?S Skull)
    (memberType ?S Bone))
Mid-level-ontology.kif 12832-12834
(=>
    (instance ?T Tendon)
    (exists (?M ?B)
        (and
            (instance ?M Muscle)
            (instance ?B Bone)
            (connects ?T ?M ?B))))
Mid-level-ontology.kif 10796-10802


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