No TPTP formula. May not be expressible in strict first order. |
Languages.kif 7743-7743 |
德国的语言 是 东中德语 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Languages.kif 7803-7803 |
较低的西里西亚语 是 东中德语 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Languages.kif 7817-7817 |
上西里西亚语 是 东中德语 的 instance |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 20994-20994 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 20993-20993 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 20992-20992 |
|