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 15237-15238
(subclass BoneTissue AnimalSubstance)	Merge.kif 15236-15236	Bone tissue is a subclass of animal substance
(subclass BoneTissue ConnectiveTissue)	Merge.kif 15235-15235	Bone tissue is a subclass of connective tissue

appearance as argument number 2

(termFormat EnglishLanguage BoneTissue "bone tissue")

domainEnglishFormat.kif 64602-64602

antecedent

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

Merge.kif 15240-15245

consequent

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

Merge.kif 15249-15251