No TPTP formula. May not be expressible in strict first order. | Merge.kif 14681-14681 | 子類 Nutrient and BiologicallyActiveSubstance |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 14688-14688 | 子類 Protein and Nutrient |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 14698-14698 | 子類 Carbohydrate and Nutrient |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 14704-14704 | 子類 Vitamin and Nutrient |