![]() |
![]() Browsing Interface : Welcome guest : log in |
[
Home | 
Graph | 
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
|
|
| appearance as argument number 1 |
|
|
| (subclass Vitamin Nutrient) | Merge.kif 15016-15016 | Vitamin is a subclass of nutrient |
| (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 15017-15019 | Vitamin is a subclass of nutrient |
| appearance as argument number 2 |
|
|
| (subclass VitaminA Vitamin) | Medicine.kif 2442-2442 | A is a subclass of vitamin |
| (subclass VitaminBComplex Vitamin) | Medicine.kif 2454-2454 | B complex vitamin is a subclass of vitamin |
| (subclass VitaminC Vitamin) | Medicine.kif 2617-2617 | Ascorbic acid is a subclass of vitamin |
| (subclass VitaminD Vitamin) | Medicine.kif 2637-2637 | Calciferol is a subclass of vitamin |
| (subclass VitaminE Vitamin) | Medicine.kif 2664-2664 | E is a subclass of vitamin |
| (subclass VitaminK Vitamin) | Medicine.kif 2674-2674 | K is a subclass of vitamin |
| (termFormat EnglishLanguage Vitamin "vitamin") | english_format.kif 1234-1234 | K is a subclass of vitamin |
| appearance as argument number 4 |
|
|
| (disjointDecomposition Nutrient Protein Carbohydrate Vitamin) | Merge.kif 14994-14994 | Nutrient is disjointly decomposed into protein, carbohydrate, and vitamin |