No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 9247-9247 |
Cellulose e' uma sub-classe de Carbohidrato |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 9250-9250 |
Starch e' uma sub-classe de Carbohidrato |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 9254-9254 |
Sugar e' uma sub-classe de Carbohidrato |
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 |
|