No TPTP formula. May not be expressible in strict first order. |
chinese_format.kif 348-348 |
|
No TPTP formula. May not be expressible in strict first order. |
english_format.kif 351-351 |
|
No TPTP formula. May not be expressible in strict first order. |
french_format.kif 198-198 |
|
No TPTP formula. May not be expressible in strict first order. |
relations-it.txt 225-225 |
|
No TPTP formula. May not be expressible in strict first order. |
japanese_format.kif 2014-2014 |
|
No TPTP formula. May not be expressible in strict first order. |
portuguese_format.kif 150-150 |
|
No TPTP formula. May not be expressible in strict first order. |
relations-cz.txt 206-206 |
|
No TPTP formula. May not be expressible in strict first order. |
relations-de.txt 464-464 |
|
No TPTP formula. May not be expressible in strict first order. |
relations-hindi.txt 263-263 |
|
No TPTP formula. May not be expressible in strict first order. |
relations-ro.kif 218-218 |
|
No TPTP formula. May not be expressible in strict first order. |
relations-sv.txt 214-214 |
|
No TPTP formula. May not be expressible in strict first order. |
relations-tg.txt 417-417 |
|
No TPTP formula. May not be expressible in strict first order. |
chinese_format.kif 349-349 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 47056-47056 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 47055-47055 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 47054-47054 |
|