No TPTP formula. May not be expressible in strict first order. |
Merge.kif 17643-17643 |
Gas est une instance de �tat physique |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 17634-17634 |
Liquid est une instance de �tat physique |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 17661-17661 |
Plasma est une instance de �tat physique |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 17630-17630 |
Solid est une instance de �tat physique |
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 |
|