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