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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - BoneTissue
BoneTissue

appearance as argument number 1
-------------------------


(documentation BoneTissue EnglishLanguage "Rigid Tissue composed largely of calcium that makes up the skeleton of Vertebrates. Note that this Class also includes teeth.") Merge.kif 15246-15247
(subclass BoneTissue AnimalSubstance) Merge.kif 15245-15245
(subclass BoneTissue ConnectiveTissue) Merge.kif 15244-15244

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


(termFormat EnglishLanguage BoneTissue "bone tissue") domainEnglishFormat.kif 64579-64579

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


(=>
    (instance ?BONE BoneTissue)
    (exists (?VERT)
        (and
            (instance ?VERT Vertebrate)
            (part ?BONE ?VERT))))
Merge.kif 15249-15254

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


(=>
    (instance ?B Bone)
    (material BoneTissue ?B))
Merge.kif 15258-15260


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