No TPTP formula. May not be expressible in strict first order. |
chinese_format.kif 247-247 |
|
No TPTP formula. May not be expressible in strict first order. |
english_format.kif 248-248 |
|
No TPTP formula. May not be expressible in strict first order. |
french_format.kif 140-140 |
|
No TPTP formula. May not be expressible in strict first order. |
relations-it.txt 308-308 |
|
No TPTP formula. May not be expressible in strict first order. |
japanese_format.kif 1972-1972 |
|
No TPTP formula. May not be expressible in strict first order. |
portuguese_format.kif 92-92 |
|
No TPTP formula. May not be expressible in strict first order. |
relations-de.txt 317-317 |
|
No TPTP formula. May not be expressible in strict first order. |
relations-hindi.txt 344-344 |
|
No TPTP formula. May not be expressible in strict first order. |
relations-ro.kif 159-159 |
|
No TPTP formula. May not be expressible in strict first order. |
relations-sv.txt 145-145 |
|
No TPTP formula. May not be expressible in strict first order. |
relations-tg.txt 500-500 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 60860-60860 |
|
No TPTP formula. May not be expressible in strict first order. |
chinese_format.kif 248-248 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 60859-60859 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 60858-60858 |
|
No TPTP formula. May not be expressible in strict first order. |
terms-de.txt 102-102 |
|