TreeView Knowledge Base Browser - SouthernTamasheqLanguage

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Languages.kif 4977-4978
No TPTP formula. May not be expressible in strict first order.	Languages.kif 4976-4976	南部的tamasheq语言是 tamasheq集团的语言的 subclass

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Languages.kif 4981-4981	Tamasheq语言是南部的tamasheq语言的 instance
No TPTP formula. May not be expressible in strict first order.	Languages.kif 5012-5012	Tawallammat tamasheq语言是南部的tamasheq语言的 instance
No TPTP formula. May not be expressible in strict first order.	Languages.kif 5002-5002	泰勒·塔玛什克语是南部的tamasheq语言的 instance
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 54264-54264
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 54263-54263
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 54262-54262