| No TPTP formula. May not be expressible in strict first order. |
Merge.kif 1406-1406 |
Linguagem e' disjuntamente decomponivel em Linguagem Animal, Linguagem Humana, + Linguagem de Programacao |
| No TPTP formula. May not be expressible in strict first order. |
chinese_format.kif 840-840 |
|
| No TPTP formula. May not be expressible in strict first order. |
english_format.kif 882-882 |
|
| No TPTP formula. May not be expressible in strict first order. |
french_format.kif 516-516 |
|
| No TPTP formula. May not be expressible in strict first order. |
terms-hindi.txt 47-47 |
|
| No TPTP formula. May not be expressible in strict first order. |
terms-it.txt 50-50 |
|
| No TPTP formula. May not be expressible in strict first order. |
japanese_format.kif 2201-2201 |
|
| No TPTP formula. May not be expressible in strict first order. |
portuguese_format.kif 468-468 |
|
| No TPTP formula. May not be expressible in strict first order. |
terms-cb.txt 52-52 |
|
| No TPTP formula. May not be expressible in strict first order. |
terms-cz.txt 83-83 |
|
| No TPTP formula. May not be expressible in strict first order. |
relations-ro.kif 537-537 |
|
| No TPTP formula. May not be expressible in strict first order. |
terms-tg.txt 51-51 |
|
