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

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


(disjointDecomposition Tissue Bone Muscle FatTissue) Merge.kif 14034-14034 disjointDecomposition Tissue, Bone, Muscle and FatTissue
(subclass Horn Bone) Mid-level-ontology.kif 9755-9755 subclass Horn and Bone
(subclass Ivory Bone) Mid-level-ontology.kif 9766-9766 subclass Ivory and Bone
(subclass Skull Bone) Mid-level-ontology.kif 9744-9744 subclass Skull and Bone
(subclass Tooth Bone) Mid-level-ontology.kif 9734-9734 subclass Tooth and Bone
(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 9925-9932 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 14061-14066

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


(=>
    (instance ?O Ossification)
    (exists (?B)
        (and
            (instance ?B Bone)
            (result ?O ?B))))
Mid-level-ontology.kif 9789-9794
(=>
    (instance ?T Tendon)
    (exists (?M ?B)
        (and
            (instance ?M Muscle)
            (instance ?B Bone)
            (connects ?T ?M ?B))))
Mid-level-ontology.kif 9065-9071


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