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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Nutrient

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

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


(disjointDecomposition Nutrient Protein Carbohydrate Vitamin) Merge.kif 14786-14786 Nutrient is disjointly decomposed into protein, carbohydrate, and vitamin
(documentation Nutrient ChineseLanguage "这是 Organism 需要的 BiologicallyActiveSubstance。我们一般是通过 Food 吸收它,而这是我们主要的一体因为它对 Organism 的生物功能所起的作用。") Merge.kif 14790-14792
(documentation Nutrient EnglishLanguage "A BiologicallyActiveSubstance required by an Organism. It is generally ingested as Food, and it is of primary interest because of its role in the biologic functioning of the Organism.") Merge.kif 14787-14789
(externalImage Nutrient "http://upload.wikimedia.org/wikipedia/commons/7/ 78/ Intertidal_greenalgae.jpg") pictureList.kif 6741-6741 "http://upload.wikimedia.org/wikipedia/commons/7/78/ Intertidal_greenalgae.jpg" is a URL depicting nutrient
(subclass Nutrient BiologicallyActiveSubstance) Merge.kif 14785-14785 Nutrient is a subclass of biologically active substance

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


(subclass Carbohydrate Nutrient) Merge.kif 14807-14807 Carbohydrate is a subclass of nutrient
(subclass Protein Nutrient) Merge.kif 14794-14794 Protein is a subclass of nutrient
(subclass Vitamin Nutrient) Merge.kif 14814-14814 Vitamin is a subclass of nutrient
(termFormat ChineseLanguage Nutrient "营养") chinese_format.kif 1005-1005 "营养" is the printable form of nutrient in ChineseLanguage
(termFormat EnglishLanguage Nutrient "nutrient") english_format.kif 692-692 "nutrient" is the printable form of nutrient in english language

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


(=>
    (instance ?FOOD
        (FoodForFn ?A))
    (exists (?NUTRIENT)
        (and
            (instance ?NUTRIENT Nutrient)
            (part ?NUTRIENT ?FOOD))))
Merge.kif 15004-15009


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