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 "Rigid Tissue composed largely of calcium that makes up the skeleton of Vertebrates. Note that this Class also includes teeth.") Merge.kif 14075-14076
(externalImage Bone "http://upload.wikimedia.org/wikipedia/commons/5/5b/ Humerus_ant.jpg") pictureList.kif 45-45
(subclass Bone AnimalSubstance) Merge.kif 14074-14074
(subclass Bone Tissue) Merge.kif 14073-14073

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


(disjointDecomposition Tissue Bone Muscle FatTissue) Merge.kif 14051-14051
(subclass Horn Bone) Mid-level-ontology.kif 9728-9728
(subclass Ivory Bone) Mid-level-ontology.kif 9739-9739
(subclass Skull Bone) Mid-level-ontology.kif 9717-9717
(subclass Tooth Bone) Mid-level-ontology.kif 9707-9707
(termFormat ChineseLanguage Bone "骨骼") chinese_format.kif 1026-1026
(termFormat EnglishLanguage Bone "bone") english_format.kif 1269-1269

antecedent
-------------------------


(<=>
    (instance ?BONE Bone)
    (exists (?SKELETON)
        (and
            (or
                (instance ?SKELETON Skeleton)
                (instance ?SKELETON Exoskeleton))
            (part ?BONE ?SKELETON))))
Mid-level-ontology.kif 9898-9905
(=>
    (instance ?BONE Bone)
    (exists (?VERT)
        (and
            (instance ?VERT Vertebrate)
            (part ?BONE ?VERT))))
Merge.kif 14078-14083

consequent
-------------------------


(=>
    (instance ?O Ossification)
    (exists (?B)
        (and
            (instance ?B Bone)
            (result ?O ?B))))
Mid-level-ontology.kif 9762-9767
(=>
    (instance ?T Tendon)
    (exists (?M ?B)
        (and
            (instance ?M Muscle)
            (instance ?B Bone)
            (connects ?T ?M ?B))))
Mid-level-ontology.kif 9038-9044


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