No TPTP formula. May not be expressible in strict first order. | Merge.kif 14681-14681 | Nutrient is a subclass of biologically active substance |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 14688-14688 | Protein is a subclass of nutrient |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 14698-14698 | Carbohydrate is a subclass of nutrient |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 14704-14704 | Vitamin is a subclass of nutrient |