|
|
   VitaminBComplex
|
|
|
| appearance as argument number 1 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Medicine.kif 2448-2448 | VitaminBComplex 是 维生素 的 subclass |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Medicine.kif 2452-2452 | VitaminB1 是 VitaminBComplex 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Medicine.kif 2598-2598 | VitaminB12 是 VitaminBComplex 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Medicine.kif 2471-2471 | VitaminB2 是 VitaminBComplex 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Medicine.kif 2486-2486 | VitaminB3 是 VitaminBComplex 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Medicine.kif 2525-2525 | VitaminB5 是 VitaminBComplex 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Medicine.kif 2542-2542 | VitaminB6 是 VitaminBComplex 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Medicine.kif 2559-2559 | VitaminB7 是 VitaminBComplex 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Medicine.kif 2570-2570 | VitaminB9 是 VitaminBComplex 的 subclass |
| 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 |
|
|
|