TreeView Knowledge Base Browser - EnglishGroupLanguage

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Languages.kif 7320-7321
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 10963-10963
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 10965-10965
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 10964-10964
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 10962-10962
No TPTP formula. May not be expressible in strict first order.	Languages.kif 7319-7319	英语组语言是西德语的 subclass

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Languages.kif 7577-7577	Angloromani语言是英语组语言的 instance
No TPTP formula. May not be expressible in strict first order.	Languages.kif 7324-7324	开曼群岛英语是英语组语言的 instance
No TPTP formula. May not be expressible in strict first order.	Languages.kif 7334-7334	英语是英语组语言的 instance
No TPTP formula. May not be expressible in strict first order.	Languages.kif 7598-7598	苏格兰语是英语组语言的 instance
No TPTP formula. May not be expressible in strict first order.	Languages.kif 7625-7625	Yinglish 语是英语组语言的 instance
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 22156-22156
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 22155-22155
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 22154-22154