No TPTP formula. May not be expressible in strict first order. |
Merge.kif 8677-8677 |
Les valeurs retourn�es par MinuteFn sont des sous-classes de minute |
No TPTP formula. May not be expressible in strict first order. |
chinese_format.kif 1299-1299 |
|
No TPTP formula. May not be expressible in strict first order. |
english_format.kif 1815-1815 |
|
No TPTP formula. May not be expressible in strict first order. |
french_format.kif 977-977 |
|
No TPTP formula. May not be expressible in strict first order. |
terms-hindi.txt 512-512 |
|
No TPTP formula. May not be expressible in strict first order. |
terms-it.txt 516-516 |
|
No TPTP formula. May not be expressible in strict first order. |
japanese_format.kif 2661-2661 |
|
No TPTP formula. May not be expressible in strict first order. |
portuguese_format.kif 929-929 |
|
No TPTP formula. May not be expressible in strict first order. |
terms-cb.txt 518-518 |
|
No TPTP formula. May not be expressible in strict first order. |
terms-cz.txt 552-552 |
|
No TPTP formula. May not be expressible in strict first order. |
relations-ro.kif 998-998 |
|
No TPTP formula. May not be expressible in strict first order. |
terms-tg.txt 517-517 |
|