| Nutrient(nutrient)
| | amyloid, nutritional, nutritionary |
| appearance as argument number 1 |
|
|
| (subclass Nutrient BiologicallyActiveSubstance) | Merge.kif 14856-14856 | Nutrient is a subclass of biologically active substance |
| (disjointDecomposition Nutrient Protein Carbohydrate Vitamin) | Merge.kif 14857-14857 | Nutrient is disjointly decomposed into protein, carbohydrate, and vitamin |
| (relatedInternalConcept Nutrient Food) | Merge.kif 14858-14858 | Nutrient is internally related to food |
| (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 14859-14861 | Nutrient is internally related to food |
| (externalImage Nutrient "http://upload.wikimedia.org/wikipedia/commons/7/ 78/ Intertidal_greenalgae.jpg") | pictureList.kif 6739-6739 | Nutrient is internally related to food |
| appearance as argument number 2 |
|
|
| (subclass Protein Nutrient) | Merge.kif 14863-14863 | Protein is a subclass of nutrient |
| (subclass Carbohydrate Nutrient) | Merge.kif 14873-14873 | Carbohydrate is a subclass of nutrient |
| (subclass Vitamin Nutrient) | Merge.kif 14879-14879 | Vitamin is a subclass of nutrient |
| (termFormat EnglishLanguage Nutrient "nutrient") | english_format.kif 1222-1222 | Vitamin is a subclass of nutrient |
| consequent |
|
|
| (=> (instance ?FOOD (FoodForFn ?A)) (exists (?NUTRIENT) (and (instance ?NUTRIENT Nutrient) (part ?NUTRIENT ?FOOD)))) |
Merge.kif 15040-15045 | If X is an instance of food for Y, then there exists Z such that Z is an instance of nutrient and Z is a part of X |
| (=> (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 10876-10888 | If X is an instance of plant root, then All of the following hold: (1) X has the purpose there exist Y, Z (2) W such that Y is an instance of transfer (3) X is an instrument for Y (4) Y originates at W (5) W is outside of to X (6) the object transferred in Y is Z (7) Z is an instance of freshwater or Z is an instance of nutrient |
|
|
|