No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 9220-9220 |
子類 纖維素 and Carbohydrate |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 9223-9223 |
子類 澱粉 and Carbohydrate |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 9227-9227 |
子類 糖 and Carbohydrate |
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 |
|