TreeView Knowledge Base Browser - DanishGroupLanguage

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Languages.kif 7177-7178
No TPTP formula. May not be expressible in strict first order.	Languages.kif 7176-7176	丹麦团体语言是丹麦语bokmal语言的 subclass

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Languages.kif 7181-7181	丹麦语是丹麦团体语言的 instance
No TPTP formula. May not be expressible in strict first order.	Languages.kif 7197-7197	诙谐的语言是丹麦团体语言的 instance
No TPTP formula. May not be expressible in strict first order.	Languages.kif 7211-7211	旅行者丹麦语是丹麦团体语言的 instance
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 18486-18486
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 18485-18485
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 18484-18484