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

Formal Language: 


KB Term:  Term intersection
English Word: 

  Bone

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 15355-15355
(externalImage Bone "http://upload.wikimedia.org/wikipedia/commons/5/5b/ Humerus_ant.jpg") pictureList.kif 45-45
(initialPart Bone Primate) Anatomy.kif 20-20 %每个 骨骼灵长类动物initially part
(subclass Bone BodyPart) Merge.kif 15354-15354 骨骼身体部位subclass

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


(initialPart BoneMarrow Bone) Medicine.kif 1213-1213 %每个 BoneMarrow骨骼initially part
(subclass ArmBone Bone) Anatomy.kif 700-700 ArmBone骨骼subclass
(subclass Coccyx Bone) Anatomy.kif 1057-1057 Coccyx骨骼subclass
(subclass FootBone Bone) Anatomy.kif 1128-1128 FootBone骨骼subclass
(subclass HeadBone Bone) Anatomy.kif 52-52 HeadBone骨骼subclass
(subclass Horn Bone) Mid-level-ontology.kif 12835-12835 喇叭骨骼subclass
(subclass Ivory Bone) Mid-level-ontology.kif 12846-12846 象牙骨骼subclass
(subclass LegBone Bone) Anatomy.kif 1063-1063 LegBone骨骼subclass
(subclass PelvicBone Bone) Anatomy.kif 1031-1031 PelvicBone骨骼subclass
(subclass Phalanx Bone) Anatomy.kif 1314-1314 Phalanx骨骼subclass
(subclass RibBone Bone) Mid-level-ontology.kif 12556-12556 RibBone骨骼subclass
(subclass Sacrum Bone) Anatomy.kif 1048-1048 Sacrum骨骼subclass
(subclass ShoulderGirdleBone Bone) Anatomy.kif 228-228 ShoulderGirdleBone骨骼subclass
(subclass ThoraxBone Bone) Anatomy.kif 261-261 ThoraxBone骨骼subclass
(subclass ThroatBone Bone) Anatomy.kif 217-217 ThroatBone骨骼subclass
(subclass Tooth Bone) Mid-level-ontology.kif 12795-12795 齿骨骼subclass
(termFormat ChineseLanguage Bone "骨骼") chinese_format.kif 1026-1026 齿骨骼subclass
(termFormat EnglishLanguage Bone "Bone") Anatomy.kif 18-18 齿骨骼subclass
(termFormat EnglishLanguage Bone "bone") english_format.kif 1264-1264 齿骨骼subclass
(termFormat FrenchLanguage Bone "os") french_format.kif 704-704 齿骨骼subclass
(termFormat Hindi Bone "asthi") terms-hindi.txt 235-235 齿骨骼subclass
(termFormat ItalianLanguage Bone "Osso") terms-it.txt 238-238 齿骨骼subclass
(termFormat JapaneseLanguage Bone "骨") japanese_format.kif 2387-2387 齿骨骼subclass
(termFormat PortugueseLanguage Bone "Osso") portuguese_format.kif 656-656 齿骨骼subclass

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 13007-13014 客体骨骼instance 若且唯若 有存在 另一个 客体 这样 那个 另外 客体骨架instance那个 另外 客体外骨骼instance那个 客体那个 另外 客体part
(=>
    (instance ?B Bone)
    (material BoneTissue ?B))
Merge.kif 15356-15358

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 12869-12874
(=>
    (instance ?S Skull)
    (memberType ?S Bone))
Mid-level-ontology.kif 12808-12810
(=>
    (instance ?T Tendon)
    (exists (?M ?B)
        (and
            (instance ?M Muscle)
            (instance ?B Bone)
            (connects ?T ?M ?B))))
Mid-level-ontology.kif 10772-10778


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