TreeView Knowledge Base Browser - WestMiddleGermanLanguage

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Languages.kif 7873-7874
No TPTP formula. May not be expressible in strict first order.	Languages.kif 7872-7872	西中德语是中德语的 subclass

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Languages.kif 7878-7878	摩泽尔法兰克西部中德语是西中德语的 subclass
No TPTP formula. May not be expressible in strict first order.	Languages.kif 7908-7908	Rhenisch Franconian西中德语是西中德语的 subclass
No TPTP formula. May not be expressible in strict first order.	Languages.kif 7924-7924	卢旺达法郎西西德语是西中德语的 subclass
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 62891-62891
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 62890-62890
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 62889-62889