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 22-22
(documentation Bone EnglishLanguage "Parts of the body that are made up of BoneTissue.") Merge.kif 15202-15202
(externalImage Bone "http://upload.wikimedia.org/wikipedia/commons/5/5b/ Humerus_ant.jpg") pictureList.kif 45-45
(initialPart Bone Primate) Anatomy.kif 21-21 %每个 骨骼灵长类动物initially part
(subclass Bone BodyPart) Merge.kif 15201-15201 骨骼身体部位subclass
(subclass Bone Bone) Anatomy.kif 18-18 骨骼骨骼subclass

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


(intialPart BoneMarrow Bone) Medicine.kif 1221-1221 intialPart BoneMarrow and 骨骼
(subclass ArmBone Bone) Anatomy.kif 685-685 ArmBone骨骼subclass
(subclass Bone Bone) Anatomy.kif 18-18 骨骼骨骼subclass
(subclass Coccyx Bone) Anatomy.kif 1026-1026 Coccyx骨骼subclass
(subclass FootBone Bone) Anatomy.kif 1099-1099 FootBone骨骼subclass
(subclass HeadBone Bone) Anatomy.kif 52-52 HeadBone骨骼subclass
(subclass Horn Bone) Mid-level-ontology.kif 11510-11510 喇叭骨骼subclass
(subclass Ivory Bone) Mid-level-ontology.kif 11521-11521 象牙骨骼subclass
(subclass LegBone Bone) Anatomy.kif 1032-1032 LegBone骨骼subclass
(subclass PelvicBone Bone) Anatomy.kif 1000-1000 PelvicBone骨骼subclass
(subclass Phalanx Bone) Anatomy.kif 1283-1283 Phalanx骨骼subclass
(subclass RibBone Bone) Mid-level-ontology.kif 11231-11231 RibBone骨骼subclass
(subclass Sacrum Bone) Anatomy.kif 1017-1017 Sacrum骨骼subclass
(subclass ShoulderGirdleBone Bone) Anatomy.kif 213-213 ShoulderGirdleBone骨骼subclass
(subclass ThoraxBone Bone) Anatomy.kif 246-246 ThoraxBone骨骼subclass
(subclass ThroatBone Bone) Anatomy.kif 202-202 ThroatBone骨骼subclass
(subclass Tooth Bone) Mid-level-ontology.kif 11470-11470 齿骨骼subclass
(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 11682-11689 客体骨骼instance 若且唯若 有存在 另一个 客体 这样 那个 另外 客体骨架instance那个 另外 客体外骨骼instance那个 客体那个 另外 客体part
(=>
    (instance ?B Bone)
    (material BoneTissue ?B))
Merge.kif 15203-15205

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 11544-11549
(=>
    (instance ?S Skull)
    (memberType ?S Bone))
Mid-level-ontology.kif 11483-11485
(=>
    (instance ?T Tendon)
    (exists (?M ?B)
        (and
            (instance ?M Muscle)
            (instance ?B Bone)
            (connects ?T ?M ?B))))
Mid-level-ontology.kif 9449-9455


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