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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Nutrient
Nutrient(nutrient)
amyloid, nutrient, nutritional, nutritionary, 营养

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 14786-14786 Nutrient is disjointly decomposed into protein, carbohydrate, and vitamin
No TPTP formula. May not be expressible in strict first order. Merge.kif 14790-14792
No TPTP formula. May not be expressible in strict first order. Merge.kif 14787-14789
No TPTP formula. May not be expressible in strict first order. pictureList.kif 6741-6741 "http://upload.wikimedia.org/wikipedia/commons/7/78/ Intertidal_greenalgae.jpg" is a URL depicting nutrient
No TPTP formula. May not be expressible in strict first order. Merge.kif 14785-14785 Nutrient is a subclass of biologically active substance

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 14807-14807 Carbohydrate is a subclass of nutrient
No TPTP formula. May not be expressible in strict first order. Merge.kif 14794-14794 Protein is a subclass of nutrient
No TPTP formula. May not be expressible in strict first order. Merge.kif 14814-14814 Vitamin is a subclass of nutrient
No TPTP formula. May not be expressible in strict first order. chinese_format.kif 1005-1005 "营养" is the printable form of nutrient in ChineseLanguage
No TPTP formula. May not be expressible in strict first order. english_format.kif 692-692 "nutrient" is the printable form of nutrient in english language

consequent
-------------------------


No TPTP formula. May not be expressible in strict first order. Merge.kif 15004-15009


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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners