| No TPTP formula. May not be expressible in strict first order. | Merge.kif 14726-14726 | Vitamine est une sous-classe de nutriment |
| No TPTP formula. May not be expressible in strict first order. | Medicine.kif 2436-2436 | VitaminA est une sous-classe de vitamine |
| No TPTP formula. May not be expressible in strict first order. | Medicine.kif 2448-2448 | VitaminBComplex est une sous-classe de vitamine |
| No TPTP formula. May not be expressible in strict first order. | Medicine.kif 2610-2610 | VitaminC est une sous-classe de vitamine |
| No TPTP formula. May not be expressible in strict first order. | Medicine.kif 2629-2629 | VitaminD est une sous-classe de vitamine |
| No TPTP formula. May not be expressible in strict first order. | Medicine.kif 2655-2655 | VitaminE est une sous-classe de vitamine |
| No TPTP formula. May not be expressible in strict first order. | Medicine.kif 2665-2665 | VitaminK est une sous-classe de vitamine |
|
|