BerberLanguage - Sigma Knowledge base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Languages.kif 4609-4610
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 9907-9907
No TPTP formula. May not be expressible in strict first order.	Languages.kif 4608-4608	BerberLanguage est une sous-classe de AfroAsiaticLanguage

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Languages.kif 4614-4614	EasternBerberLanguage est une sous-classe de BerberLanguage
No TPTP formula. May not be expressible in strict first order.	Languages.kif 4657-4657	GuanacheGroupLanguage est une sous-classe de BerberLanguage
No TPTP formula. May not be expressible in strict first order.	Languages.kif 4937-4937	TamasheqGroupLanguage est une sous-classe de BerberLanguage
No TPTP formula. May not be expressible in strict first order.	Languages.kif 5038-5038	ZenagaGroupLanguage est une sous-classe de BerberLanguage
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 10769-10769
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 10768-10768
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 10767-10767