No TPTP formula. May not be expressible in strict first order. |
Languages.kif 12030-12030 |
卡迪韦语 是 guaicuruan语言 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Languages.kif 12040-12040 |
Mocovi语言 是 guaicuruan语言 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Languages.kif 12047-12047 |
Pilaga语言 是 guaicuruan语言 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Languages.kif 12057-12057 |
Toba语言 是 guaicuruan语言 的 instance |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 26862-26862 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 26861-26861 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 26860-26860 |
|