| No TPTP formula. May not be expressible in strict first order. | Merge.kif 14703-14703 | 营养 是 生物活性物质 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 14710-14710 | 蛋白质 是 营养 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 14720-14720 | 碳水化物 是 营养 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 14726-14726 | 维生素 是 营养 的 subclass |
|
|