appearance as argument number 1 |
(documentation Vitamin ChineseLanguage "这是存在于自然产品或人工合成的 Nutrient,这是 Human 和其他高等 Animal 饮食的重要成分,包括 Vitamin 前体和维生素原。") | chinese_format.kif 3455-3456 | |
(documentation Vitamin EnglishLanguage "A Nutrient present in natural products or made synthetically, which is essential in the diet of Humans and other higher Animals. Included here are Vitamin precursors and provitamins.") | Merge.kif 14751-14753 | |
(subclass Vitamin Nutrient) | Merge.kif 14750-14750 | Vitamin is a subclass of nutrient |
appearance as argument number 2 |
appearance as argument number 4 |
(disjointDecomposition Nutrient Protein Carbohydrate Vitamin) | Merge.kif 14728-14728 | Nutrient is disjointly decomposed into protein, carbohydrate, and vitamin |