No TPTP formula. May not be expressible in strict first order. |
chinese_format.kif 663-663 |
|
No TPTP formula. May not be expressible in strict first order. |
english_format.kif 666-666 |
|
No TPTP formula. May not be expressible in strict first order. |
french_format.kif 398-398 |
|
No TPTP formula. May not be expressible in strict first order. |
relations-it.txt 313-313 |
|
No TPTP formula. May not be expressible in strict first order. |
japanese_format.kif 2128-2128 |
|
No TPTP formula. May not be expressible in strict first order. |
portuguese_format.kif 350-350 |
|
No TPTP formula. May not be expressible in strict first order. |
relations-cz.txt 407-407 |
|
No TPTP formula. May not be expressible in strict first order. |
relations-de.txt 867-867 |
|
No TPTP formula. May not be expressible in strict first order. |
relations-hindi.txt 348-348 |
|
No TPTP formula. May not be expressible in strict first order. |
relations-ro.kif 420-420 |
|
No TPTP formula. May not be expressible in strict first order. |
relations-sv.txt 441-441 |
|
No TPTP formula. May not be expressible in strict first order. |
relations-tg.txt 505-505 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 62567-62567 |
|
No TPTP formula. May not be expressible in strict first order. |
chinese_format.kif 664-664 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 62566-62566 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 62565-62565 |
|