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