No TPTP formula. May not be expressible in strict first order. |
Merge.kif 11880-11880 |
Transacao Financeira e' uma sub-classe de Transacao |
No TPTP formula. May not be expressible in strict first order. |
chinese_format.kif 1139-1139 |
|
No TPTP formula. May not be expressible in strict first order. |
english_format.kif 1495-1495 |
|
No TPTP formula. May not be expressible in strict first order. |
french_format.kif 817-817 |
|
No TPTP formula. May not be expressible in strict first order. |
terms-hindi.txt 349-349 |
|
No TPTP formula. May not be expressible in strict first order. |
terms-it.txt 352-352 |
|
No TPTP formula. May not be expressible in strict first order. |
japanese_format.kif 2501-2501 |
|
No TPTP formula. May not be expressible in strict first order. |
portuguese_format.kif 769-769 |
|
No TPTP formula. May not be expressible in strict first order. |
terms-cz.txt 388-388 |
|
No TPTP formula. May not be expressible in strict first order. |
relations-ro.kif 838-838 |
|
No TPTP formula. May not be expressible in strict first order. |
terms-tg.txt 353-353 |
|