TreeView Knowledge Base Browser - BasqueGroupLanguage

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Languages.kif 5867-5869
No TPTP formula. May not be expressible in strict first order.	Languages.kif 5866-5866	巴斯克语言是口语人类语言的 subclass

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Languages.kif 5872-5872	巴斯克语言是巴斯克语言的 instance
No TPTP formula. May not be expressible in strict first order.	Languages.kif 5901-5901	Navarro labourdin 巴斯克语是巴斯克语言的 instance
No TPTP formula. May not be expressible in strict first order.	Languages.kif 5916-5916	Souletin巴斯克语是巴斯克语言的 instance
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 10134-10134
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 10133-10133
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 10132-10132