No TPTP formula. May not be expressible in strict first order. |
chinese_format.kif 494-494 |
|
No TPTP formula. May not be expressible in strict first order. |
english_format.kif 499-499 |
|
No TPTP formula. May not be expressible in strict first order. |
french_format.kif 290-290 |
|
No TPTP formula. May not be expressible in strict first order. |
relations-it.txt 306-306 |
|
No TPTP formula. May not be expressible in strict first order. |
japanese_format.kif 2067-2067 |
|
No TPTP formula. May not be expressible in strict first order. |
portuguese_format.kif 242-242 |
|
No TPTP formula. May not be expressible in strict first order. |
relations-de.txt 641-641 |
|
No TPTP formula. May not be expressible in strict first order. |
relations-hindi.txt 342-342 |
|
No TPTP formula. May not be expressible in strict first order. |
relations-ro.kif 311-311 |
|
No TPTP formula. May not be expressible in strict first order. |
relations-sv.txt 318-318 |
|
No TPTP formula. May not be expressible in strict first order. |
relations-tg.txt 498-498 |
|
No TPTP formula. May not be expressible in strict first order. |
chinese_format.kif 495-495 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 60002-60002 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 60001-60001 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 60000-60000 |
|