No TPTP formula. May not be expressible in strict first order. |
Merge.kif 17586-17586 |
Gas e' uma instancia de Estado Fisico |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 17577-17577 |
Liquid e' uma instancia de Estado Fisico |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 17604-17604 |
Plasma e' uma instancia de Estado Fisico |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 17573-17573 |
Solid e' uma instancia de Estado Fisico |
No TPTP formula. May not be expressible in strict first order. |
chinese_format.kif 1247-1247 |
|
No TPTP formula. May not be expressible in strict first order. |
english_format.kif 1715-1715 |
|
No TPTP formula. May not be expressible in strict first order. |
french_format.kif 925-925 |
|
No TPTP formula. May not be expressible in strict first order. |
terms-hindi.txt 459-459 |
|
No TPTP formula. May not be expressible in strict first order. |
terms-it.txt 462-462 |
|
No TPTP formula. May not be expressible in strict first order. |
japanese_format.kif 2609-2609 |
|
No TPTP formula. May not be expressible in strict first order. |
portuguese_format.kif 877-877 |
|
No TPTP formula. May not be expressible in strict first order. |
terms-cz.txt 498-498 |
|
No TPTP formula. May not be expressible in strict first order. |
relations-ro.kif 946-946 |
|
No TPTP formula. May not be expressible in strict first order. |
terms-tg.txt 463-463 |
|