No TPTP formula. May not be expressible in strict first order. |
chinese_format.kif 537-537 |
|
No TPTP formula. May not be expressible in strict first order. |
english_format.kif 542-542 |
|
No TPTP formula. May not be expressible in strict first order. |
french_format.kif 316-316 |
|
No TPTP formula. May not be expressible in strict first order. |
relations-it.txt 311-311 |
|
No TPTP formula. May not be expressible in strict first order. |
japanese_format.kif 2084-2084 |
|
No TPTP formula. May not be expressible in strict first order. |
portuguese_format.kif 268-268 |
|
No TPTP formula. May not be expressible in strict first order. |
relations-cz.txt 322-322 |
|
No TPTP formula. May not be expressible in strict first order. |
relations-de.txt 701-701 |
|
No TPTP formula. May not be expressible in strict first order. |
relations-hindi.txt 346-346 |
|
No TPTP formula. May not be expressible in strict first order. |
relations-ro.kif 337-337 |
|
No TPTP formula. May not be expressible in strict first order. |
relations-sv.txt 348-348 |
|
No TPTP formula. May not be expressible in strict first order. |
relations-tg.txt 503-503 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 61552-61552 |
|
No TPTP formula. May not be expressible in strict first order. |
chinese_format.kif 538-538 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 61551-61551 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 61550-61550 |
|