Vitamin - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

[ Home | Graph | ] KB: Language:
Formal Language:

KB Term:			Term intersection

English Word:

Sigma KEE - Vitamin

Vitamin(vitamin)

A, B, B-complex_vitamin, B_complex, B_vitamin, C, D, E, adermin, alpha-tocopheral, aneurin, antiberiberi_factor, antihemorrhagic_factor, antiophthalmic_factor, antipernicious_anemia_factor, ascorbic_acid, axerophthol, beta-carotene, bioflavinoid, biotin, calciferol, carotene, carotin, cholecalciferol, choline, citrin, cobalamin, cyanocobalamin, dehydroretinol, ergocalciferol, fat-soluble_vitamin, folacin, folate, folic_acid, hepatoflavin, inositol, lactoflavin, menadione, multivitamin, multivitamin_pill, naphthoquinone, niacin, nicotinic_acid, ovoflavin, pantothen, pantothenic_acid, phylloquinone, phytonadione, provitamin_A, pteroylglutamic_acid...

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 3455-3456
No TPTP formula. May not be expressible in strict first order.	Merge.kif 14705-14707
No TPTP formula. May not be expressible in strict first order.	Merge.kif 14704-14704	Vitamin is a subclass of nutrient

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Medicine.kif 2436-2436	Vitamin A is a subclass of vitamin
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 2448-2448	B complex vitamin is a subclass of vitamin
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 2610-2610	Ascorbic acid is a subclass of vitamin
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 2629-2629	Calciferol is a subclass of vitamin
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 2655-2655	Vitamin E is a subclass of vitamin
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 2665-2665	Vitamin K is a subclass of vitamin
No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 1009-1009
No TPTP formula. May not be expressible in strict first order.	english_format.kif 1230-1230
No TPTP formula. May not be expressible in strict first order.	french_format.kif 686-686
No TPTP formula. May not be expressible in strict first order.	terms-hindi.txt 217-217
No TPTP formula. May not be expressible in strict first order.	terms-it.txt 220-220
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 2370-2370
No TPTP formula. May not be expressible in strict first order.	portuguese_format.kif 638-638
No TPTP formula. May not be expressible in strict first order.	terms-cb.txt 222-222
No TPTP formula. May not be expressible in strict first order.	terms-cz.txt 254-254
No TPTP formula. May not be expressible in strict first order.	relations-ro.kif 707-707
No TPTP formula. May not be expressible in strict first order.	terms-tg.txt 221-221

appearance as argument number 4

No TPTP formula. May not be expressible in strict first order.

Merge.kif 14682-14682

Nutrient is disjointly decomposed into protein, carbohydrate, and vitamin

Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)

Sigma web home Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners