TreeView Knowledge Base Browser

appearance as argument number 1

(subclass Organification OrganOrTissueProcess)	Mid-level-ontology.kif 26313-26313	Organification is a subclass of organ or tissue process
(documentation Organification EnglishLanguage "Any BiologicalProcess that results in the formation of an Organ.")	Mid-level-ontology.kif 26314-26315	Organification is a subclass of organ or tissue process

appearance as argument number 2

(termFormat EnglishLanguage Organification "organification")	domainEnglishFormat.kif 42473-42473
(termFormat ChineseTraditionalLanguage Organification "有機化")	domainEnglishFormat.kif 42474-42474
(termFormat ChineseLanguage Organification "有机化")	domainEnglishFormat.kif 42475-42475

antecedent

(=>
    (instance ?P Organification)
    (exists (?O)
        (and
            (instance ?O Organ)
            (result ?P ?O))))

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