BoneTissue - Sigma Knowledge base Browser

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 15265-15266
(subclass BoneTissue AnimalSubstance)	Merge.kif 15264-15264	Bone tissue is a subclass of animal substance
(subclass BoneTissue ConnectiveTissue)	Merge.kif 15263-15263	Bone tissue is a subclass of connective tissue

appearance as argument number 2

(termFormat EnglishLanguage BoneTissue "bone tissue")

domainEnglishFormat.kif 64577-64577

antecedent

(=>
    (instance ?BONE BoneTissue)
    (exists (?VERT)
        (and
            (instance ?VERT Vertebrate)
            (part ?BONE ?VERT))))

Merge.kif 15268-15273

consequent

(=>
(instance ?B Bone)
(material BoneTissue ?B))

Merge.kif 15277-15279