Ossification - Sigma Knowledge base Browser

appearance as argument number 1

(subclass Ossification OrganOrTissueProcess)	Mid-level-ontology.kif 13040-13040	Ossification is a subclass of organ or tissue process
(documentation Ossification EnglishLanguage "Any BiologicalProcess that results in the formation of Bones.")	Mid-level-ontology.kif 13041-13042	Ossification is a subclass of organ or tissue process

appearance as argument number 2

(termFormat EnglishLanguage Ossification "ossification")	domainEnglishFormat.kif 42659-42659
(termFormat ChineseTraditionalLanguage Ossification "骨化")	domainEnglishFormat.kif 42660-42660
(termFormat ChineseLanguage Ossification "骨化")	domainEnglishFormat.kif 42661-42661

antecedent

(=>
    (instance ?O Ossification)
    (exists (?B)
        (and
            (instance ?B Bone)
            (result ?O ?B))))

If X is an instance of ossification, then there exists Y such that Y is an instance of bone and Y is a result of X