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	子類巴斯克語言 and 口語人類語言

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Languages.kif 5872-5872	例巴斯克語言 and 巴斯克語言
No TPTP formula. May not be expressible in strict first order.	Languages.kif 5901-5901	例 navarro labourdin 巴斯克語 and 巴斯克語言
No TPTP formula. May not be expressible in strict first order.	Languages.kif 5916-5916	例 souletin巴斯克語 and 巴斯克語言
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