| No TPTP formula. May not be expressible in strict first order. | Merge.kif 14726-14726 | Vitamina e' uma sub-classe de Nutriente |
| No TPTP formula. May not be expressible in strict first order. | Medicine.kif 2436-2436 | VitaminA e' uma sub-classe de Vitamina |
| No TPTP formula. May not be expressible in strict first order. | Medicine.kif 2448-2448 | VitaminBComplex e' uma sub-classe de Vitamina |
| No TPTP formula. May not be expressible in strict first order. | Medicine.kif 2610-2610 | VitaminC e' uma sub-classe de Vitamina |
| No TPTP formula. May not be expressible in strict first order. | Medicine.kif 2629-2629 | VitaminD e' uma sub-classe de Vitamina |
| No TPTP formula. May not be expressible in strict first order. | Medicine.kif 2655-2655 | VitaminE e' uma sub-classe de Vitamina |
| No TPTP formula. May not be expressible in strict first order. | Medicine.kif 2665-2665 | VitaminK e' uma sub-classe de Vitamina |
|
|