| No TPTP formula. May not be expressible in strict first order. | Merge.kif 14720-14720 | Carbohidrato e' uma sub-classe de Nutriente |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 14721-14721 | Carbohidrato e' uma sub-classe de Substancia Composta |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 9219-9219 | Cellulose e' uma sub-classe de Carbohidrato |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 9222-9222 | Starch e' uma sub-classe de Carbohidrato |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 9226-9226 | Sugar e' uma sub-classe de Carbohidrato |
|
|