TreeView Knowledge Base Browser - MiddleGermanLanguage

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Languages.kif 7733-7734
No TPTP formula. May not be expressible in strict first order.	Languages.kif 7827-7828
No TPTP formula. May not be expressible in strict first order.	Languages.kif 7739-7740
No TPTP formula. May not be expressible in strict first order.	Languages.kif 7732-7732	中德语是德语小组语言的 subclass

appearance as argument number 2

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