No TPTP formula. May not be expressible in strict first order. |
Languages.kif 7738-7738 |
东中德语 是 中德语 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
Languages.kif 7826-7826 |
摩泽尔法兰克中德语 是 中德语 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
Languages.kif 7872-7872 |
西中德语 是 中德语 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 37469-37469 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 37468-37468 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 37467-37467 |
|