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 15329-15330
(subclass BoneTissue AnimalSubstance)	Merge.kif 15328-15328	Bone tissue is a subclass of animal substance
(subclass BoneTissue ConnectiveTissue)	Merge.kif 15327-15327	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 15332-15337

consequent

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

Merge.kif 15341-15343