No TPTP formula. May not be expressible in strict first order. |
chinese_format.kif 657-657 |
|
No TPTP formula. May not be expressible in strict first order. |
english_format.kif 660-660 |
|
No TPTP formula. May not be expressible in strict first order. |
french_format.kif 395-395 |
|
No TPTP formula. May not be expressible in strict first order. |
relations-it.txt 69-69 |
|
No TPTP formula. May not be expressible in strict first order. |
japanese_format.kif 2125-2125 |
|
No TPTP formula. May not be expressible in strict first order. |
portuguese_format.kif 347-347 |
|
No TPTP formula. May not be expressible in strict first order. |
relations-de.txt 860-860 |
|
No TPTP formula. May not be expressible in strict first order. |
relations-hindi.txt 110-110 |
|
No TPTP formula. May not be expressible in strict first order. |
relations-ro.kif 417-417 |
|
No TPTP formula. May not be expressible in strict first order. |
relations-sv.txt 438-438 |
|
No TPTP formula. May not be expressible in strict first order. |
relations-cb.txt 103-103 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 19056-19056 |
|
No TPTP formula. May not be expressible in strict first order. |
chinese_format.kif 658-658 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 19055-19055 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 19054-19054 |
|