No TPTP formula. May not be expressible in strict first order. |
chinese_format.kif 379-379 |
|
No TPTP formula. May not be expressible in strict first order. |
english_format.kif 385-385 |
|
No TPTP formula. May not be expressible in strict first order. |
french_format.kif 218-218 |
|
No TPTP formula. May not be expressible in strict first order. |
relations-it.txt 110-110 |
|
No TPTP formula. May not be expressible in strict first order. |
japanese_format.kif 2024-2024 |
|
No TPTP formula. May not be expressible in strict first order. |
portuguese_format.kif 170-170 |
|
No TPTP formula. May not be expressible in strict first order. |
relations-cz.txt 225-225 |
|
No TPTP formula. May not be expressible in strict first order. |
relations-de.txt 507-507 |
|
No TPTP formula. May not be expressible in strict first order. |
relations-hindi.txt 150-150 |
|
No TPTP formula. May not be expressible in strict first order. |
relations-ro.kif 238-238 |
|
No TPTP formula. May not be expressible in strict first order. |
relations-sv.txt 235-235 |
|
No TPTP formula. May not be expressible in strict first order. |
relations-tg.txt 230-230 |
|
No TPTP formula. May not be expressible in strict first order. |
chinese_format.kif 380-380 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 23678-23678 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 23677-23677 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 23676-23676 |
|
No TPTP formula. May not be expressible in strict first order. |
relations-tg.txt 231-231 |
|