No TPTP formula. May not be expressible in strict first order. |
Languages.kif 8338-8338 |
例 achterhoeks語言 and 低撒克遜群體語言 |
No TPTP formula. May not be expressible in strict first order. |
Languages.kif 8346-8346 |
例 drents語言 and 低撒克遜群體語言 |
No TPTP formula. May not be expressible in strict first order. |
Languages.kif 8355-8355 |
例 東方語言 and 低撒克遜群體語言 |
No TPTP formula. May not be expressible in strict first order. |
Languages.kif 8363-8363 |
例 gronings語言 and 低撒克遜群體語言 |
No TPTP formula. May not be expressible in strict first order. |
Languages.kif 8373-8373 |
例 低撒克遜語 and 低撒克遜群體語言 |
No TPTP formula. May not be expressible in strict first order. |
Languages.kif 8403-8403 |
例 北方veluws語言 and 低撒克遜群體語言 |
No TPTP formula. May not be expressible in strict first order. |
Languages.kif 8410-8410 |
例 plautdietsch語言 and 低撒克遜群體語言 |
No TPTP formula. May not be expressible in strict first order. |
Languages.kif 8463-8463 |
例 sallands語言 and 低撒克遜群體語言 |
No TPTP formula. May not be expressible in strict first order. |
Languages.kif 8471-8471 |
例 stellingwerfs語言 and 低撒克遜群體語言 |
No TPTP formula. May not be expressible in strict first order. |
Languages.kif 8480-8480 |
例 twents語言 and 低撒克遜群體語言 |
No TPTP formula. May not be expressible in strict first order. |
Languages.kif 8488-8488 |
例 veenkoloniaal語言 and 低撒克遜群體語言 |
No TPTP formula. May not be expressible in strict first order. |
Languages.kif 8495-8495 |
例 韋斯特沃爾德語 and 低撒克遜群體語言 |
No TPTP formula. May not be expressible in strict first order. |
Languages.kif 8502-8502 |
例 威斯特伐利亞語 and 低撒克遜群體語言 |
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 |
|