No TPTP formula. May not be expressible in strict first order. |
Merge.kif 18414-18414 |
相反的屬性 Unconscious and Awake |
No TPTP formula. May not be expressible in strict first order. |
chinese_format.kif 1268-1268 |
|
No TPTP formula. May not be expressible in strict first order. |
english_format.kif 1757-1757 |
|
No TPTP formula. May not be expressible in strict first order. |
french_format.kif 946-946 |
|
No TPTP formula. May not be expressible in strict first order. |
terms-hindi.txt 481-481 |
|
No TPTP formula. May not be expressible in strict first order. |
terms-it.txt 485-485 |
|
No TPTP formula. May not be expressible in strict first order. |
japanese_format.kif 2630-2630 |
|
No TPTP formula. May not be expressible in strict first order. |
portuguese_format.kif 898-898 |
|
No TPTP formula. May not be expressible in strict first order. |
terms-cb.txt 487-487 |
|
No TPTP formula. May not be expressible in strict first order. |
terms-cz.txt 521-521 |
|
No TPTP formula. May not be expressible in strict first order. |
relations-ro.kif 967-967 |
|
No TPTP formula. May not be expressible in strict first order. |
terms-tg.txt 486-486 |
|