| 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 14675-14677 | |
| (subclass Vitamin Nutrient) | Merge.kif 14674-14674 | Vitamin is a subclass of nutrient |
| appearance as argument number 2 |
|
|
| (subclass VitaminA Vitamin) | Medicine.kif 2436-2436 | Vitamin A is a subclass of vitamin |
| (subclass VitaminBComplex Vitamin) | Medicine.kif 2448-2448 | B complex vitamin is a subclass of vitamin |
| (subclass VitaminC Vitamin) | Medicine.kif 2610-2610 | Ascorbic acid is a subclass of vitamin |
| (subclass VitaminD Vitamin) | Medicine.kif 2629-2629 | Calciferol is a subclass of vitamin |
| (subclass VitaminE Vitamin) | Medicine.kif 2655-2655 | Vitamin E is a subclass of vitamin |
| (subclass VitaminK Vitamin) | Medicine.kif 2665-2665 | Vitamin K is a subclass of vitamin |
| (termFormat ChineseLanguage Vitamin "维生素") | chinese_format.kif 1009-1009 | |
| (termFormat EnglishLanguage Vitamin "vitamin") | english_format.kif 1230-1230 | |
| (termFormat FrenchLanguage Vitamin "vitamine") | french_format.kif 686-686 | |
| (termFormat Hindi Vitamin "vitaamina") | terms-hindi.txt 217-217 | |
| (termFormat ItalianLanguage Vitamin "Vitamina") | terms-it.txt 220-220 | |
| (termFormat JapaneseLanguage Vitamin "ビタミン") | japanese_format.kif 2370-2370 | |
| (termFormat PortugueseLanguage Vitamin "Vitamina") | portuguese_format.kif 638-638 | |
| (termFormat cb Vitamin "betamina") | terms-cb.txt 222-222 | |
| (termFormat cz Vitamin "vitamin") | terms-cz.txt 254-254 | |
| (termFormat ro Vitamin "vitaminã") | relations-ro.kif 707-707 | |
| (termFormat tg Vitamin "bitamina") | terms-tg.txt 221-221 |
| appearance as argument number 4 |
|
|
| (disjointDecomposition Nutrient Protein Carbohydrate Vitamin) | Merge.kif 14652-14652 | Nutrient is disjointly decomposed into protein, carbohydrate, and vitamin |
|
|
|