| No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 9220-9220 |
Cellulose est une sous-classe de hydrate de carbone |
| No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 9223-9223 |
Starch est une sous-classe de hydrate de carbone |
| No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 9227-9227 |
Sugar est une sous-classe de hydrate de carbone |
| No TPTP formula. May not be expressible in strict first order. |
chinese_format.kif 1008-1008 |
|
| No TPTP formula. May not be expressible in strict first order. |
english_format.kif 1228-1228 |
|
| No TPTP formula. May not be expressible in strict first order. |
french_format.kif 685-685 |
|
| No TPTP formula. May not be expressible in strict first order. |
terms-hindi.txt 216-216 |
|
| No TPTP formula. May not be expressible in strict first order. |
terms-it.txt 219-219 |
|
| No TPTP formula. May not be expressible in strict first order. |
japanese_format.kif 2369-2369 |
|
| No TPTP formula. May not be expressible in strict first order. |
portuguese_format.kif 637-637 |
|
| No TPTP formula. May not be expressible in strict first order. |
terms-cz.txt 253-253 |
|
| No TPTP formula. May not be expressible in strict first order. |
relations-ro.kif 706-706 |
|
| No TPTP formula. May not be expressible in strict first order. |
terms-tg.txt 220-220 |
|
Carbohydrate