| No TPTP formula. May not be expressible in strict first order. | Medicine.kif 2448-2448 | B complex vitamin is a subclass of vitamin |
| 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 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 2598-2598 | Cobalamin is a subclass of B complex vitamin |
|
|