No TPTP formula. May not be expressible in strict first order. | Merge.kif 14720-14720 | Hydrate de carbone est une sous-classe de nutriment |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 14721-14721 | Hydrate de carbone est une sous-classe de substance compos�e |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 9219-9219 | Cellulose est une sous-classe de hydrate de carbone |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 9222-9222 | Starch est une sous-classe de hydrate de carbone |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 9226-9226 | Sugar est une sous-classe de hydrate de carbone |
![]() |