No TPTP formula. May not be expressible in strict first order. |
chinese_format.kif 747-747 |
|
No TPTP formula. May not be expressible in strict first order. |
english_format.kif 749-749 |
|
No TPTP formula. May not be expressible in strict first order. |
french_format.kif 451-451 |
|
No TPTP formula. May not be expressible in strict first order. |
relations-it.txt 165-165 |
|
No TPTP formula. May not be expressible in strict first order. |
japanese_format.kif 2159-2159 |
|
No TPTP formula. May not be expressible in strict first order. |
portuguese_format.kif 403-403 |
|
No TPTP formula. May not be expressible in strict first order. |
relations-cz.txt 464-464 |
|
No TPTP formula. May not be expressible in strict first order. |
relations-de.txt 963-963 |
|
No TPTP formula. May not be expressible in strict first order. |
relations-hindi.txt 204-204 |
|
No TPTP formula. May not be expressible in strict first order. |
relations-ro.kif 473-473 |
|
No TPTP formula. May not be expressible in strict first order. |
relations-sv.txt 516-516 |
|
No TPTP formula. May not be expressible in strict first order. |
relations-tg.txt 329-329 |
|
No TPTP formula. May not be expressible in strict first order. |
chinese_format.kif 748-748 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 34559-34559 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 34558-34558 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 34557-34557 |
|
No TPTP formula. May not be expressible in strict first order. |
relations-tg.txt 330-330 |
|