No TPTP formula. May not be expressible in strict first order. |
chinese_format.kif 765-765 |
|
No TPTP formula. May not be expressible in strict first order. |
english_format.kif 765-765 |
|
No TPTP formula. May not be expressible in strict first order. |
french_format.kif 462-462 |
|
No TPTP formula. May not be expressible in strict first order. |
relations-it.txt 35-35 |
|
No TPTP formula. May not be expressible in strict first order. |
japanese_format.kif 2166-2166 |
|
No TPTP formula. May not be expressible in strict first order. |
portuguese_format.kif 414-414 |
|
No TPTP formula. May not be expressible in strict first order. |
relations-cb.txt 69-69 |
|
No TPTP formula. May not be expressible in strict first order. |
relations-cz.txt 475-475 |
|
No TPTP formula. May not be expressible in strict first order. |
relations-de.txt 988-988 |
|
No TPTP formula. May not be expressible in strict first order. |
relations-hindi.txt 79-79 |
|
No TPTP formula. May not be expressible in strict first order. |
relations-ro.kif 484-484 |
|
No TPTP formula. May not be expressible in strict first order. |
relations-sv.txt 528-528 |
|
No TPTP formula. May not be expressible in strict first order. |
relations-tg.txt 86-86 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 10571-10571 |
|
No TPTP formula. May not be expressible in strict first order. |
chinese_format.kif 766-766 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 10570-10570 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 10569-10569 |
|
No TPTP formula. May not be expressible in strict first order. |
relations-tg.txt 87-87 |
|