No TPTP formula. May not be expressible in strict first order. |
Languages.kif 8338-8338 |
Achterhoeks语言 是 低撒克逊群体语言 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Languages.kif 8346-8346 |
Drents语言 是 低撒克逊群体语言 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Languages.kif 8355-8355 |
东方语言 是 低撒克逊群体语言 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Languages.kif 8363-8363 |
Gronings语言 是 低撒克逊群体语言 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Languages.kif 8373-8373 |
低撒克逊语 是 低撒克逊群体语言 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Languages.kif 8403-8403 |
北方veluws语言 是 低撒克逊群体语言 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Languages.kif 8410-8410 |
Plautdietsch语言 是 低撒克逊群体语言 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Languages.kif 8463-8463 |
Sallands语言 是 低撒克逊群体语言 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Languages.kif 8471-8471 |
Stellingwerfs语言 是 低撒克逊群体语言 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Languages.kif 8480-8480 |
Twents语言 是 低撒克逊群体语言 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Languages.kif 8488-8488 |
Veenkoloniaal语言 是 低撒克逊群体语言 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Languages.kif 8495-8495 |
韦斯特沃尔德语 是 低撒克逊群体语言 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Languages.kif 8502-8502 |
威斯特伐利亚语 是 低撒克逊群体语言 的 instance |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 35213-35213 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 35212-35212 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 35211-35211 |
|