No TPTP formula. May not be expressible in strict first order. |
chinese_format.kif 730-730 |
|
No TPTP formula. May not be expressible in strict first order. |
english_format.kif 732-732 |
|
No TPTP formula. May not be expressible in strict first order. |
french_format.kif 438-438 |
|
No TPTP formula. May not be expressible in strict first order. |
relations-it.txt 268-268 |
|
No TPTP formula. May not be expressible in strict first order. |
japanese_format.kif 2155-2155 |
|
No TPTP formula. May not be expressible in strict first order. |
portuguese_format.kif 390-390 |
|
No TPTP formula. May not be expressible in strict first order. |
relations-de.txt 943-943 |
|
No TPTP formula. May not be expressible in strict first order. |
relations-hindi.txt 305-305 |
|
No TPTP formula. May not be expressible in strict first order. |
relations-ro.kif 460-460 |
|
No TPTP formula. May not be expressible in strict first order. |
relations-sv.txt 500-500 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 54890-54890 |
|
No TPTP formula. May not be expressible in strict first order. |
chinese_format.kif 731-731 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 54889-54889 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 54888-54888 |
|