Browsing Interface : Welcome guest : log in
Home |  Graph |  LogLearn |  Editor |  ]  KB:  Language: 
  Formal Language: 


KB Term:  Term intersection
English Word: 

Sigma KEE - Organification
Organification(organification)organification

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))))
Mid-level-ontology.kif 26317-26322 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


Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)



Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0.0-ac69cf7a (2026-05-13) is open source software produced by Articulate Software and its partners