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	子類西中德語 and 中德語

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Languages.kif 7878-7878	子類摩澤爾法蘭克西部中德語 and 西中德語
No TPTP formula. May not be expressible in strict first order.	Languages.kif 7908-7908	子類 Rhenisch Franconian西中德語 and 西中德語
No TPTP formula. May not be expressible in strict first order.	Languages.kif 7924-7924	子類盧旺達法郎西西德語 and 西中德語
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 62889-62889
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 62888-62888
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 62887-62887