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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Bone
Bone(Osso)

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 initialPart Osso and Primato
(subclass Bone BodyPart) Merge.kif 15339-15339 Osso è una sottoclasse di ParteDelCorpo

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


(initialPart BoneMarrow Bone) Medicine.kif 1213-1213 initialPart BoneMarrow and Osso
(subclass ArmBone Bone) Anatomy.kif 700-700 ArmBone è una sottoclasse di Osso
(subclass Coccyx Bone) Anatomy.kif 1057-1057 Coccyx è una sottoclasse di Osso
(subclass FootBone Bone) Anatomy.kif 1130-1130 FootBone è una sottoclasse di Osso
(subclass HeadBone Bone) Anatomy.kif 52-52 HeadBone è una sottoclasse di Osso
(subclass Horn Bone) Mid-level-ontology.kif 12841-12841 Horn è una sottoclasse di Osso
(subclass Ivory Bone) Mid-level-ontology.kif 12852-12852 Ivory è una sottoclasse di Osso
(subclass LegBone Bone) Anatomy.kif 1063-1063 LegBone è una sottoclasse di Osso
(subclass PelvicBone Bone) Anatomy.kif 1031-1031 PelvicBone è una sottoclasse di Osso
(subclass Phalanx Bone) Anatomy.kif 1316-1316 Phalanx è una sottoclasse di Osso
(subclass RibBone Bone) Mid-level-ontology.kif 12562-12562 RibBone è una sottoclasse di Osso
(subclass Sacrum Bone) Anatomy.kif 1048-1048 Sacrum è una sottoclasse di Osso
(subclass ShoulderGirdleBone Bone) Anatomy.kif 228-228 ShoulderGirdleBone è una sottoclasse di Osso
(subclass ThoraxBone Bone) Anatomy.kif 261-261 ThoraxBone è una sottoclasse di Osso
(subclass ThroatBone Bone) Anatomy.kif 217-217 ThroatBone è una sottoclasse di Osso
(subclass Tooth Bone) Mid-level-ontology.kif 12801-12801 Tooth è una sottoclasse di Osso
(termFormat ChineseLanguage Bone "骨骼") chinese_format.kif 1026-1026 Tooth è una sottoclasse di Osso
(termFormat EnglishLanguage Bone "Bone") Anatomy.kif 18-18 Tooth è una sottoclasse di Osso
(termFormat EnglishLanguage Bone "bone") english_format.kif 1264-1264 Tooth è una sottoclasse di Osso
(termFormat FrenchLanguage Bone "os") french_format.kif 704-704 Tooth è una sottoclasse di Osso
(termFormat Hindi Bone "asthi") terms-hindi.txt 235-235 Tooth è una sottoclasse di Osso
(termFormat ItalianLanguage Bone "Osso") terms-it.txt 238-238 Tooth è una sottoclasse di Osso
(termFormat JapaneseLanguage Bone "骨") japanese_format.kif 2387-2387 Tooth è una sottoclasse di Osso
(termFormat PortugueseLanguage Bone "Osso") portuguese_format.kif 656-656 Tooth è una sottoclasse di Osso

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 13013-13020 Oggetto è un' istanza di Osso Oggetto Oggetto è un' istanza di Skeleton Oggetto è un' istanza di Exoskeleton Oggetto è una parte di Oggetto
(=>
    (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 12875-12880
(=>
    (instance ?S Skull)
    (memberType ?S Bone))
Mid-level-ontology.kif 12814-12816
(=>
    (instance ?T Tendon)
    (exists (?M ?B)
        (and
            (instance ?M Muscle)
            (instance ?B Bone)
            (connects ?T ?M ?B))))
Mid-level-ontology.kif 10778-10784


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