No TPTP formula. May not be expressible in strict first order. |
Languages.kif 12078-12078 |
Chulupi语言 是 mataco语言 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Languages.kif 12111-12111 |
Iyojwaja chorote 语言 是 mataco语言 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Languages.kif 12094-12094 |
Iyowujwa chorote 语言 是 mataco语言 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Languages.kif 12121-12121 |
玛卡语 是 mataco语言 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Languages.kif 12132-12132 |
Wichi lhamtes guisnay 语 是 mataco语言 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Languages.kif 12141-12141 |
Wichi lhamtes nocten 语 是 mataco语言 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Languages.kif 12152-12152 |
Wichi lhamtes vejoz 语 是 mataco语言 的 instance |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 36437-36437 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 36436-36436 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 36435-36435 |
|