| 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 2452-2452 | VitaminB1 est une sous-classe de VitaminBComplex |
| No TPTP formula. May not be expressible in strict first order. | Medicine.kif 2471-2471 | VitaminB2 est une sous-classe de VitaminBComplex |
| No TPTP formula. May not be expressible in strict first order. | Medicine.kif 2486-2486 | VitaminB3 est une sous-classe de VitaminBComplex |
| No TPTP formula. May not be expressible in strict first order. | Medicine.kif 2525-2525 | VitaminB5 est une sous-classe de VitaminBComplex |
| No TPTP formula. May not be expressible in strict first order. | Medicine.kif 2542-2542 | VitaminB6 est une sous-classe de VitaminBComplex |
| No TPTP formula. May not be expressible in strict first order. | Medicine.kif 2559-2559 | VitaminB7 est une sous-classe de VitaminBComplex |
| No TPTP formula. May not be expressible in strict first order. | Medicine.kif 2570-2570 | VitaminB9 est une sous-classe de VitaminBComplex |
| No TPTP formula. May not be expressible in strict first order. | Medicine.kif 2598-2598 | VitaminB12 est une sous-classe de VitaminBComplex |
|
|