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 15191-15192
(subclass BoneTissue AnimalSubstance)	Merge.kif 15190-15190	Bone tissue is a subclass of animal substance
(subclass BoneTissue ConnectiveTissue)	Merge.kif 15189-15189	Bone tissue is a subclass of connective tissue

appearance as argument number 2

(termFormat EnglishLanguage BoneTissue "bone tissue")

domainEnglishFormat.kif 64554-64554

antecedent

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

Merge.kif 15194-15199

consequent

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

Merge.kif 15203-15205