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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Inheriting

Sigma KEE - Organification
Organification

appearance as argument number 1
-------------------------


(documentation Organification EnglishLanguage "Any BiologicalProcess that results in the formation of an Organ.") Mid-level-ontology.kif 24088-24089
(subclass Organification OrganOrTissueProcess) Mid-level-ontology.kif 24087-24087

appearance as argument number 2
-------------------------


(termFormat ChineseLanguage Organification "有机化") domainEnglishFormat.kif 42482-42482
(termFormat ChineseTraditionalLanguage Organification "有機化") domainEnglishFormat.kif 42481-42481
(termFormat EnglishLanguage Organification "organification") domainEnglishFormat.kif 42480-42480

antecedent
-------------------------


(=>
    (instance ?P Organification)
    (exists (?O)
        (and
            (instance ?O Organ)
            (result ?P ?O))))
Mid-level-ontology.kif 24091-24096


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

Show without tree


Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners