TreeView Knowledge Base Browser - EasternBerberLanguage

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Languages.kif 4615-4616
No TPTP formula. May not be expressible in strict first order.	Languages.kif 4614-4614	EasternBerberLanguage e' uma sub-classe de BerberLanguage

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Languages.kif 4620-4620	AwjilaSoknaLanguage e' uma sub-classe de EasternBerberLanguage
No TPTP formula. May not be expressible in strict first order.	Languages.kif 4642-4642	SiwaGroupLanguage e' uma sub-classe de EasternBerberLanguage
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 20868-20868
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 20867-20867
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 20866-20866