No TPTP formula. May not be expressible in strict first order. |
chinese_format.kif 498-498 |
|
No TPTP formula. May not be expressible in strict first order. |
english_format.kif 503-503 |
|
No TPTP formula. May not be expressible in strict first order. |
french_format.kif 292-292 |
|
No TPTP formula. May not be expressible in strict first order. |
relations-it.txt 250-250 |
|
No TPTP formula. May not be expressible in strict first order. |
japanese_format.kif 2069-2069 |
|
No TPTP formula. May not be expressible in strict first order. |
portuguese_format.kif 244-244 |
|
No TPTP formula. May not be expressible in strict first order. |
relations-de.txt 647-647 |
|
No TPTP formula. May not be expressible in strict first order. |
relations-hindi.txt 288-288 |
|
No TPTP formula. May not be expressible in strict first order. |
relations-ro.kif 313-313 |
|
No TPTP formula. May not be expressible in strict first order. |
relations-sv.txt 320-320 |
|
No TPTP formula. May not be expressible in strict first order. |
relations-tg.txt 442-442 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 49336-49336 |
|
No TPTP formula. May not be expressible in strict first order. |
chinese_format.kif 499-499 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 49335-49335 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 49334-49334 |
|