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

Formal Language: 



KB Term:  Term intersection
English Word: 

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 24030-24031
(subclass Organification OrganOrTissueProcess) Mid-level-ontology.kif 24029-24029 Organification e' uma sub-classe de Processo de Orgao or Tecido

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


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

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


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


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 is open source software produced by Articulate Software and its partners