No TPTP formula. May not be expressible in strict first order. |
chinese_format.kif 708-708 |
|
No TPTP formula. May not be expressible in strict first order. |
english_format.kif 710-710 |
|
No TPTP formula. May not be expressible in strict first order. |
french_format.kif 427-427 |
|
No TPTP formula. May not be expressible in strict first order. |
relations-it.txt 171-171 |
|
No TPTP formula. May not be expressible in strict first order. |
japanese_format.kif 2144-2144 |
|
No TPTP formula. May not be expressible in strict first order. |
portuguese_format.kif 379-379 |
|
No TPTP formula. May not be expressible in strict first order. |
relations-de.txt 921-921 |
|
No TPTP formula. May not be expressible in strict first order. |
relations-hindi.txt 209-209 |
|
No TPTP formula. May not be expressible in strict first order. |
relations-ro.kif 449-449 |
|
No TPTP formula. May not be expressible in strict first order. |
relations-sv.txt 478-478 |
|
No TPTP formula. May not be expressible in strict first order. |
chinese_format.kif 709-709 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 34919-34919 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 34918-34918 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 34917-34917 |
|