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 13957-13958
(externalImage Bone "http://upload.wikimedia.org/wikipedia/commons/5/5b/ Humerus_ant.jpg") pictureList.kif 45-45 externalImage Bone and "http://upload.wikimedia.org/wikipedia/commons/5/5b/ Humerus_ant.jpg"
(subclass Bone AnimalSubstance) Merge.kif 13956-13956 subclass Bone and AnimalSubstance
(subclass Bone Tissue) Merge.kif 13955-13955 subclass Bone and Tissue

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


(disjointDecomposition Tissue Bone Muscle FatTissue) Merge.kif 13933-13933 disjointDecomposition Tissue, Bone, Muscle and FatTissue
(subclass Horn Bone) Mid-level-ontology.kif 9733-9733 subclass Horn and Bone
(subclass Ivory Bone) Mid-level-ontology.kif 9744-9744 subclass Ivory and Bone
(subclass Skull Bone) Mid-level-ontology.kif 9722-9722 subclass Skull and Bone
(subclass Tooth Bone) Mid-level-ontology.kif 9712-9712 subclass Tooth and Bone
(termFormat ChineseLanguage Bone "骨骼") chinese_format.kif 1026-1026 termFormat ChineseLanguage, Bone and "骨骼"
(termFormat EnglishLanguage Bone "bone") english_format.kif 1269-1269 termFormat EnglishLanguage, Bone and "bone"

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


(<=>
    (instance ?BONE Bone)
    (exists (?SKELETON)
        (and
            (or
                (instance ?SKELETON Skeleton)
                (instance ?SKELETON Exoskeleton))
            (part ?BONE ?SKELETON))))
Mid-level-ontology.kif 9903-9910 instance Object and Bone Object instance Object and Skeleton instance Object and Exoskeleton part Object and Object
(=>
    (instance ?BONE Bone)
    (exists (?VERT)
        (and
            (instance ?VERT Vertebrate)
            (part ?BONE ?VERT))))
Merge.kif 13960-13965

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


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


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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners