TreeView Knowledge Base Browser - UpperGermanLanguage

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Languages.kif 7942-7943
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 8772-8772
No TPTP formula. May not be expressible in strict first order.	Languages.kif 7941-7941	子類上德語 and 德語小組語言

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Languages.kif 7947-7947	子類 alemannic語言 and 上德語
No TPTP formula. May not be expressible in strict first order.	Languages.kif 8022-8022	子類土耳其語 and 上德語
No TPTP formula. May not be expressible in strict first order.	Languages.kif 8059-8059	子類巴伐利亞奧地利語言 and 上德語
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 60626-60626
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 60625-60625
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 60624-60624