TreeView Knowledge Base Browser - BavarianAustrianLanguage

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Languages.kif 8060-8061
No TPTP formula. May not be expressible in strict first order.	Languages.kif 8059-8059	巴伐利亚奥地利语言是上德语的 subclass

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Languages.kif 8065-8065	巴伐利亚语言是巴伐利亚奥地利语言的 instance
No TPTP formula. May not be expressible in strict first order.	Languages.kif 8103-8103	Cimbrian语言是巴伐利亚奥地利语言的 instance
No TPTP formula. May not be expressible in strict first order.	Languages.kif 8127-8127	Hutterite德语是巴伐利亚奥地利语言的 instance
No TPTP formula. May not be expressible in strict first order.	Languages.kif 8156-8156	Mocheno语言是巴伐利亚奥地利语言的 instance
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 10236-10236
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 10235-10235
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 10234-10234