No TPTP formula. May not be expressible in strict first order. | Merge.kif 14703-14703 | 子類 Nutrient and BiologicallyActiveSubstance |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 14710-14710 | 子類 Protein and Nutrient |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 14720-14720 | 子類 Carbohydrate and Nutrient |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 14726-14726 | 子類 Vitamin and Nutrient |