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 10110-10117
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 10107-10107 Metabolising is a subclass of biological process
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 10108-10108 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 10124-10124 Anabolic process is a subclass of metabolising
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 10120-10120 Catabolic process is a subclass of metabolising
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 10118-10118


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