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

Formal Language: 



KB Term:  Term intersection
English Word: 

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

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


(disjointDecomposition Nutrient Protein Carbohydrate Vitamin) Merge.kif 14756-14756 Nutrient is disjointly decomposed into protein, carbohydrate, and vitamin
(documentation Nutrient ChineseLanguage "这是 Organism 需要的 BiologicallyActiveSubstance。我们一般是通过 Food 吸收它，而这是我们主要的一体因为它对 Organism 的生物功能所起的作用。") chinese_format.kif 3447-3449 Nutrient is disjointly decomposed into protein, carbohydrate, and vitamin
(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 14758-14760 Nutrient is disjointly decomposed into protein, carbohydrate, and vitamin
(externalImage Nutrient "http://upload.wikimedia.org/wikipedia/commons/7/ 78/ Intertidal_greenalgae.jpg") pictureList.kif 6739-6739 Nutrient is disjointly decomposed into protein, carbohydrate, and vitamin
(relatedInternalConcept Nutrient Food) Merge.kif 14757-14757 Nutrient is internally related to food
(subclass Nutrient BiologicallyActiveSubstance) Merge.kif 14755-14755 Nutrient is a subclass of biologically active substance

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


(subclass Carbohydrate Nutrient) Merge.kif 14772-14772 Carbohydrate is a subclass of nutrient
(subclass Protein Nutrient) Merge.kif 14762-14762 Protein is a subclass of nutrient
(subclass Vitamin Nutrient) Merge.kif 14778-14778 Vitamin is a subclass of nutrient
(termFormat ChineseLanguage Nutrient "营养") chinese_format.kif 1005-1005 Vitamin is a subclass of nutrient
(termFormat EnglishLanguage Nutrient "nutrient") english_format.kif 1222-1222 Vitamin is a subclass of nutrient
(termFormat FrenchLanguage Nutrient "nutriment") french_format.kif 682-682 Vitamin is a subclass of nutrient
(termFormat Hindi Nutrient "pOshtika tatva") terms-hindi.txt 213-213 Vitamin is a subclass of nutrient
(termFormat ItalianLanguage Nutrient "Nutriente") terms-it.txt 216-216 Vitamin is a subclass of nutrient
(termFormat JapaneseLanguage Nutrient "栄養素［栄養物］") japanese_format.kif 2366-2366 Vitamin is a subclass of nutrient
(termFormat PortugueseLanguage Nutrient "Nutriente") portuguese_format.kif 634-634 Vitamin is a subclass of nutrient
(termFormat cz Nutrient "nutrient") terms-cz.txt 250-250 Vitamin is a subclass of nutrient
(termFormat de Nutrient "Naehrstoff") terms-de.txt 509-509 Vitamin is a subclass of nutrient
(termFormat ro Nutrient "nutrient") relations-ro.kif 703-703 Vitamin is a subclass of nutrient
(termFormat tg Nutrient "masustansiyang pagkain") terms-tg.txt 217-217 Vitamin is a subclass of nutrient

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


(=>
    (instance ?FOOD
        (FoodForFn ?A))
    (exists (?NUTRIENT)
        (and
            (instance ?NUTRIENT Nutrient)
            (part ?NUTRIENT ?FOOD))))		 Merge.kif 14939-14944
(=>
    (instance ?ROOT PlantRoot)
    (hasPurpose ?ROOT
        (exists (?TRAN ?STUFF ?HOST)
            (and
                (instance ?TRAN Transfer)
                (instrument ?TRAN ?ROOT)
                (origin ?TRAN ?HOST)
                (orientation ?HOST ?ROOT Outside)
                (objectTransferred ?TRAN ?STUFF)
                (or
                    (instance ?STUFF FreshWater)
                    (instance ?STUFF Nutrient))))))		 Mid-level-ontology.kif 10403-10415


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 3.0 is open source software produced by Articulate Software and its partners