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	子類中德語 and 德語小組語言

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Languages.kif 7738-7738	子類東中德語 and 中德語
No TPTP formula. May not be expressible in strict first order.	Languages.kif 7826-7826	子類摩澤爾法蘭克中德語 and 中德語
No TPTP formula. May not be expressible in strict first order.	Languages.kif 7872-7872	子類西中德語 and 中德語
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