Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
 |
   Nutrient
|
|
|
| appearance as argument number 1 |
|
|
| (subclass Nutrient BiologicallyActiveSubstance) | Merge.kif 14993-14993 | Nutrient is a subclass of biologically active substance |
| (disjointDecomposition Nutrient Protein Carbohydrate Vitamin) | Merge.kif 14994-14994 | Nutrient is disjointly decomposed into protein, carbohydrate, and vitamin |
| (relatedInternalConcept Nutrient Food) | Merge.kif 14995-14995 | 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 14996-14998 | 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 15000-15000 | Protein is a subclass of nutrient |
| (subclass Carbohydrate Nutrient) | Merge.kif 15010-15010 | Carbohydrate is a subclass of nutrient |
| (subclass Vitamin Nutrient) | Merge.kif 15016-15016 | Vitamin is a subclass of nutrient |
| (termFormat EnglishLanguage Nutrient "nutrient") | english_format.kif 1226-1226 | Vitamin is a subclass of nutrient |
| consequent |
|
|
| (=> (instance ?FOOD (FoodForFn ?A)) (exists (?NUTRIENT) (and (instance ?NUTRIENT Nutrient) (part ?NUTRIENT ?FOOD)))) |
Merge.kif 15173-15178 | 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 10998-11010 | 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 |
|
