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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Metabolism

Sigma KEE - Metabolism
Metabolism

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 10082-10089
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 10079-10079 Metabolism生物过程subclass
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 10080-10080 Metabolism化学过程subclass

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 10096-10096 AnabolicProcessMetabolismsubclass
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 10092-10092 CatabolicProcessMetabolismsubclass
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 10090-10090


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