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	上德语是德语小组语言的 subclass

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Languages.kif 7947-7947	Alemannic语言是上德语的 subclass
No TPTP formula. May not be expressible in strict first order.	Languages.kif 8022-8022	土耳其语是上德语的 subclass
No TPTP formula. May not be expressible in strict first order.	Languages.kif 8059-8059	巴伐利亚奥地利语言是上德语的 subclass
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