No TPTP formula. May not be expressible in strict first order. | Merge.kif 14704-14704 | Vitamin is a subclass of nutrient |
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 |