VitaminBComplex
|
|
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | Medicine.kif 2448-2448 | B complex vitamin is a subclass of vitamin |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | Medicine.kif 2452-2452 | Thiamine is a subclass of B complex vitamin |
No TPTP formula. May not be expressible in strict first order. | Medicine.kif 2598-2598 | Cobalamin is a subclass of B complex vitamin |
No TPTP formula. May not be expressible in strict first order. | Medicine.kif 2471-2471 | Riboflavin is a subclass of B complex vitamin |
No TPTP formula. May not be expressible in strict first order. | Medicine.kif 2486-2486 | Niacin is a subclass of B complex vitamin |
No TPTP formula. May not be expressible in strict first order. | Medicine.kif 2525-2525 | Pantothenic acid is a subclass of B complex vitamin |
No TPTP formula. May not be expressible in strict first order. | Medicine.kif 2542-2542 | Pyridoxine is a subclass of B complex vitamin |
No TPTP formula. May not be expressible in strict first order. | Medicine.kif 2559-2559 | Biotin is a subclass of B complex vitamin |
No TPTP formula. May not be expressible in strict first order. | Medicine.kif 2570-2570 | Folacin is a subclass of B complex vitamin |
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 |