TamazightLanguage
|
|
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | Languages.kif 4724-4737 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 8750-8750 | |
No TPTP formula. May not be expressible in strict first order. | Languages.kif 4723-4723 | 例 tamazight語言 and atlas語言 |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 56883-56883 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 56882-56882 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 56881-56881 |