No TPTP formula. May not be expressible in strict first order. |
chinese_format.kif 195-195 |
|
No TPTP formula. May not be expressible in strict first order. |
english_format.kif 196-196 |
|
No TPTP formula. May not be expressible in strict first order. |
french_format.kif 117-117 |
|
No TPTP formula. May not be expressible in strict first order. |
relations-it.txt 304-304 |
|
No TPTP formula. May not be expressible in strict first order. |
japanese_format.kif 1946-1946 |
|
No TPTP formula. May not be expressible in strict first order. |
portuguese_format.kif 69-69 |
|
No TPTP formula. May not be expressible in strict first order. |
relations-cz.txt 111-111 |
|
No TPTP formula. May not be expressible in strict first order. |
relations-de.txt 250-250 |
|
No TPTP formula. May not be expressible in strict first order. |
relations-hindi.txt 340-340 |
|
No TPTP formula. May not be expressible in strict first order. |
relations-ro.kif 136-136 |
|
No TPTP formula. May not be expressible in strict first order. |
relations-sv.txt 122-122 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 59186-59186 |
|
No TPTP formula. May not be expressible in strict first order. |
chinese_format.kif 196-196 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 59185-59185 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 59184-59184 |
|
No TPTP formula. May not be expressible in strict first order. |
terms-de.txt 79-79 |
|