No TPTP formula. May not be expressible in strict first order. |
Merge.kif 12499-12499 |
子類 Breaking and Separating |
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 2569-2569 |
子類 二氧化碳排放量 and Separating |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 12559-12559 |
子類 ChemicalDecomposition and Separating |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 19644-19644 |
子類 色譜 and Separating |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 19597-19597 |
子類 透析 and Separating |
No TPTP formula. May not be expressible in strict first order. |
Economy.kif 5696-5696 |
子類 蒸餾 and Separating |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 22028-22028 |
子類 Slicing and Separating |
No TPTP formula. May not be expressible in strict first order. |
chinese_format.kif 1168-1168 |
|
No TPTP formula. May not be expressible in strict first order. |
english_format.kif 1553-1553 |
|
No TPTP formula. May not be expressible in strict first order. |
french_format.kif 846-846 |
|
No TPTP formula. May not be expressible in strict first order. |
terms-hindi.txt 378-378 |
|
No TPTP formula. May not be expressible in strict first order. |
terms-it.txt 381-381 |
|
No TPTP formula. May not be expressible in strict first order. |
japanese_format.kif 2530-2530 |
|
No TPTP formula. May not be expressible in strict first order. |
portuguese_format.kif 798-798 |
|
No TPTP formula. May not be expressible in strict first order. |
terms-cb.txt 383-383 |
|
No TPTP formula. May not be expressible in strict first order. |
terms-cz.txt 417-417 |
|
No TPTP formula. May not be expressible in strict first order. |
relations-ro.kif 867-867 |
|
No TPTP formula. May not be expressible in strict first order. |
terms-tg.txt 382-382 |
|