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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Metabolism

 Sigma KEE - Metabolism
Metabolism(metabolising)

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 10083-10090
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 10080-10080 Metabolising is a subclass of biological process
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 10081-10081 Metabolising is a subclass of chemical process

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 10097-10097 Anabolic process is a subclass of metabolising
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 10093-10093 Catabolic process is a subclass of metabolising
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 10091-10091


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