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