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 and BiologicalProcess
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 10080-10080 子類 Metabolism and ChemicalProcess

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 10096-10096 子類 AnabolicProcess and Metabolism
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 10092-10092 子類 CatabolicProcess and Metabolism
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