| TamazightLanguage(tamazight language)
|
| 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 language is an instance of atlas language |
| 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 |
|
|
|