No TPTP formula. May not be expressible in strict first order. | Merge.kif 14703-14703 | Nutrient is a subclass of biologically active substance |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 14710-14710 | Protein is a subclass of nutrient |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 14720-14720 | Carbohydrate is a subclass of nutrient |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 14726-14726 | Vitamin is a subclass of nutrient |
![]() |