No TPTP formula. May not be expressible in strict first order. |
chinese_format.kif 295-295 |
|
No TPTP formula. May not be expressible in strict first order. |
english_format.kif 300-300 |
|
No TPTP formula. May not be expressible in strict first order. |
french_format.kif 170-170 |
|
No TPTP formula. May not be expressible in strict first order. |
relations-it.txt 95-95 |
|
No TPTP formula. May not be expressible in strict first order. |
japanese_format.kif 1990-1990 |
|
No TPTP formula. May not be expressible in strict first order. |
portuguese_format.kif 122-122 |
|
No TPTP formula. May not be expressible in strict first order. |
relations-cz.txt 197-197 |
|
No TPTP formula. May not be expressible in strict first order. |
relations-de.txt 384-384 |
|
No TPTP formula. May not be expressible in strict first order. |
relations-hindi.txt 135-135 |
|
No TPTP formula. May not be expressible in strict first order. |
relations-ro.kif 190-190 |
|
No TPTP formula. May not be expressible in strict first order. |
relations-sv.txt 177-177 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 22186-22186 |
|
No TPTP formula. May not be expressible in strict first order. |
chinese_format.kif 296-296 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 22185-22185 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 22184-22184 |
|
No TPTP formula. May not be expressible in strict first order. |
terms-de.txt 120-120 |
|