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 2598-2598 |
VitaminB12 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 2450-2450 |
|
No TPTP formula. May not be expressible in strict first order. |
Medicine.kif 2449-2449 |
|