TreeView Knowledge Base Browser - TamasheqGroupLanguage

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Languages.kif 4938-4939
No TPTP formula. May not be expressible in strict first order.	Languages.kif 4937-4937	Tamasheq集团的语言是柏柏尔语言的 subclass

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Languages.kif 4943-4943	北部的tamasheq语言是 tamasheq集团的语言的 subclass
No TPTP formula. May not be expressible in strict first order.	Languages.kif 4976-4976	南部的tamasheq语言是 tamasheq集团的语言的 subclass
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 56869-56869
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 56868-56868
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 56867-56867