BerberLanguage
|
|
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 | Berber language is a subclass of afro asiatic language |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | Languages.kif 4614-4614 | Eastern berber language is a subclass of berber language |
No TPTP formula. May not be expressible in strict first order. | Languages.kif 4657-4657 | Guanache group language is a subclass of berber language |
No TPTP formula. May not be expressible in strict first order. | Languages.kif 4937-4937 | Tamasheq group language is a subclass of berber language |
No TPTP formula. May not be expressible in strict first order. | Languages.kif 5038-5038 | Zenaga group language is a subclass of berber language |
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 |