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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Nutrient

Sigma KEE - Nutrient
Nutrient(Nutriente)

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


(disjointDecomposition Nutrient Protein Carbohydrate Vitamin) Merge.kif 14704-14704 Nutriente è scomposto disgiuntivamente in Proteina, Carboidrato, + Vitamina
(documentation Nutrient ChineseLanguage "这是 Organism 需要的 BiologicallyActiveSubstance。我们一般是通过 Food 吸收它,而这是我们主要的一体因为它对 Organism 的生物功能所起的作用。") chinese_format.kif 3447-3449
(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 14706-14708
(externalImage Nutrient "http://upload.wikimedia.org/wikipedia/commons/7/ 78/ Intertidal_greenalgae.jpg") pictureList.kif 6740-6740
(relatedInternalConcept Nutrient Food) Merge.kif 14705-14705 Nutriente è interamente correlato a Cibo
(subclass Nutrient BiologicallyActiveSubstance) Merge.kif 14703-14703 Nutriente è una sottoclasse di SostanzaBiologicamenteAttiva

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


(subclass Carbohydrate Nutrient) Merge.kif 14720-14720 Carboidrato è una sottoclasse di Nutriente
(subclass Protein Nutrient) Merge.kif 14710-14710 Proteina è una sottoclasse di Nutriente
(subclass Vitamin Nutrient) Merge.kif 14726-14726 Vitamina è una sottoclasse di Nutriente
(termFormat ChineseLanguage Nutrient "营养") chinese_format.kif 1005-1005
(termFormat EnglishLanguage Nutrient "nutrient") english_format.kif 1222-1222
(termFormat FrenchLanguage Nutrient "nutriment") french_format.kif 682-682
(termFormat Hindi Nutrient "pOshtika tatva") terms-hindi.txt 213-213
(termFormat ItalianLanguage Nutrient "Nutriente") terms-it.txt 216-216
(termFormat JapaneseLanguage Nutrient "栄養素[栄養物]") japanese_format.kif 2366-2366
(termFormat PortugueseLanguage Nutrient "Nutriente") portuguese_format.kif 634-634
(termFormat cz Nutrient "nutrient") terms-cz.txt 250-250
(termFormat ro Nutrient "nutrient") relations-ro.kif 703-703
(termFormat tg Nutrient "masustansiyang pagkain") terms-tg.txt 217-217

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


(=>
    (instance ?FOOD
        (FoodForFn ?A))
    (exists (?NUTRIENT)
        (and
            (instance ?NUTRIENT Nutrient)
            (part ?NUTRIENT ?FOOD))))
Merge.kif 14887-14892
(=>
    (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 9506-9518


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