No TPTP formula. May not be expressible in strict first order. |
MilitaryProcesses.kif 1197-1197 |
DevelopPrograms e' uma sub-classe de Criacao |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 12858-12858 |
Fazer e' uma sub-classe de Criacao |
No TPTP formula. May not be expressible in strict first order. |
ComputerInput.kif 2368-2368 |
OpeningNewGraphicalWindow e' uma sub-classe de Criacao |
No TPTP formula. May not be expressible in strict first order. |
MilitaryProcesses.kif 1225-1225 |
ProduceStudies e' uma sub-classe de Criacao |
No TPTP formula. May not be expressible in strict first order. |
chinese_format.kif 1184-1184 |
|
No TPTP formula. May not be expressible in strict first order. |
english_format.kif 1585-1585 |
|
No TPTP formula. May not be expressible in strict first order. |
french_format.kif 862-862 |
|
No TPTP formula. May not be expressible in strict first order. |
terms-hindi.txt 394-394 |
|
No TPTP formula. May not be expressible in strict first order. |
terms-it.txt 397-397 |
|
No TPTP formula. May not be expressible in strict first order. |
japanese_format.kif 2546-2546 |
|
No TPTP formula. May not be expressible in strict first order. |
portuguese_format.kif 814-814 |
|
No TPTP formula. May not be expressible in strict first order. |
terms-cb.txt 399-399 |
|
No TPTP formula. May not be expressible in strict first order. |
terms-cz.txt 433-433 |
|
No TPTP formula. May not be expressible in strict first order. |
relations-ro.kif 883-883 |
|
No TPTP formula. May not be expressible in strict first order. |
terms-tg.txt 398-398 |
|