| No TPTP formula. May not be expressible in strict first order. | Merge.kif 14698-14698 | 碳水化物 是 营养 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 14699-14699 | 碳水化物 是 复合物质 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 9220-9220 | 纤维素 是 碳水化物 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 9223-9223 | 淀粉 是 碳水化物 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 9227-9227 | 糖 是 碳水化物 的 subclass |
|
|