No TPTP formula. May not be expressible in strict first order. |
Merge.kif 8690-8690 |
Les valeurs retourn�es par SecondFn sont des sous-classes de seconde |
No TPTP formula. May not be expressible in strict first order. |
chinese_format.kif 1300-1300 |
|
No TPTP formula. May not be expressible in strict first order. |
english_format.kif 1817-1817 |
|
No TPTP formula. May not be expressible in strict first order. |
french_format.kif 978-978 |
|
No TPTP formula. May not be expressible in strict first order. |
terms-hindi.txt 513-513 |
|
No TPTP formula. May not be expressible in strict first order. |
terms-it.txt 517-517 |
|
No TPTP formula. May not be expressible in strict first order. |
japanese_format.kif 2662-2662 |
|
No TPTP formula. May not be expressible in strict first order. |
portuguese_format.kif 930-930 |
|
No TPTP formula. May not be expressible in strict first order. |
terms-cz.txt 553-553 |
|
No TPTP formula. May not be expressible in strict first order. |
relations-ro.kif 999-999 |
|
No TPTP formula. May not be expressible in strict first order. |
terms-tg.txt 518-518 |
|