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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Nutrient
Nutrient(nutrient)
مُغَذّ, Nutriente, amyloid, masustansiyang_pagkain, nutrient, nutriment, nutritional, nutritionary, pOshtika_tatva, 营养

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 14649-14649 Nutrient is disjointly decomposed into protein, carbohydrate, and vitamin
No TPTP formula. May not be expressible in strict first order. Merge.kif 14653-14655
No TPTP formula. May not be expressible in strict first order. Merge.kif 14650-14652
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 14648-14648 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 14670-14670 Carbohydrate is a subclass of nutrient
No TPTP formula. May not be expressible in strict first order. Merge.kif 14657-14657 Protein is a subclass of nutrient
No TPTP formula. May not be expressible in strict first order. Merge.kif 14677-14677 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
No TPTP formula. May not be expressible in strict first order. french_format.kif 682-682 "nutriment" is the printable form of nutrient in french language
No TPTP formula. May not be expressible in strict first order. terms-hindi.txt 213-213 "pOshtika tatva" is the printable form of nutrient in Hindi
No TPTP formula. May not be expressible in strict first order. terms-it.txt 214-214 "Nutriente" is the printable form of nutrient in italian language
No TPTP formula. May not be expressible in strict first order. portuguese_format.kif 634-634 "Nutriente" is the printable form of nutrient in portuguese language
No TPTP formula. May not be expressible in strict first order. arabic_format.kif 418-418 "مُغَذّ" is the printable form of nutrient in ar
No TPTP formula. May not be expressible in strict first order. terms-cz.txt 250-250 "nutrient" is the printable form of nutrient in cz
No TPTP formula. May not be expressible in strict first order. terms-tg.txt 217-217 "masustansiyang pagkain" is the printable form of nutrient in tg

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 14867-14872


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