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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Bone
Bone(os)

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 15248-15248
(externalImage Bone "http://upload.wikimedia.org/wikipedia/commons/5/5b/ Humerus_ant.jpg") pictureList.kif 45-45
(initialPart Bone Primate) Anatomy.kif 21-21 initialPart os and primate
(subclass Bone BodyPart) Merge.kif 15247-15247 Os est une sous-classe de partie du corps
(subclass Bone Bone) Anatomy.kif 18-18 Os est une sous-classe de os

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


(initialPart BoneMarrow Bone) Medicine.kif 1221-1221 initialPart BoneMarrow and os
(subclass ArmBone Bone) Anatomy.kif 685-685 ArmBone est une sous-classe de os
(subclass Bone Bone) Anatomy.kif 18-18 Os est une sous-classe de os
(subclass Coccyx Bone) Anatomy.kif 1026-1026 Coccyx est une sous-classe de os
(subclass FootBone Bone) Anatomy.kif 1099-1099 FootBone est une sous-classe de os
(subclass HeadBone Bone) Anatomy.kif 52-52 HeadBone est une sous-classe de os
(subclass Horn Bone) Mid-level-ontology.kif 11537-11537 Horn est une sous-classe de os
(subclass Ivory Bone) Mid-level-ontology.kif 11548-11548 Ivory est une sous-classe de os
(subclass LegBone Bone) Anatomy.kif 1032-1032 LegBone est une sous-classe de os
(subclass PelvicBone Bone) Anatomy.kif 1000-1000 PelvicBone est une sous-classe de os
(subclass Phalanx Bone) Anatomy.kif 1283-1283 Phalanx est une sous-classe de os
(subclass RibBone Bone) Mid-level-ontology.kif 11258-11258 RibBone est une sous-classe de os
(subclass Sacrum Bone) Anatomy.kif 1017-1017 Sacrum est une sous-classe de os
(subclass ShoulderGirdleBone Bone) Anatomy.kif 213-213 ShoulderGirdleBone est une sous-classe de os
(subclass ThoraxBone Bone) Anatomy.kif 246-246 ThoraxBone est une sous-classe de os
(subclass ThroatBone Bone) Anatomy.kif 202-202 ThroatBone est une sous-classe de os
(subclass Tooth Bone) Mid-level-ontology.kif 11497-11497 Tooth est une sous-classe de os
(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 11709-11716 Objet est une instance de os objet objet est une instance de Skeleton objet est une instance de Exoskeleton objet est une partie de objet
(=>
    (instance ?B Bone)
    (material BoneTissue ?B))
Merge.kif 15249-15251

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 11571-11576
(=>
    (instance ?S Skull)
    (memberType ?S Bone))
Mid-level-ontology.kif 11510-11512
(=>
    (instance ?T Tendon)
    (exists (?M ?B)
        (and
            (instance ?M Muscle)
            (instance ?B Bone)
            (connects ?T ?M ?B))))
Mid-level-ontology.kif 9476-9482


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