|
|
   TidikeltLanguage
|
|
|
| appearance as argument number 1 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 4924-4925 | |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 4923-4923 | TidikeltLanguage e' uma sub-classe de ZenatiLanguage |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 4928-4928 | TidikeltTamazightLanguage e' uma instancia de TidikeltLanguage |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 58066-58066 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 58065-58065 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 58064-58064 |
|
|
|