|
|
  KanuriLanguage
|
|
|
| appearance as argument number 1 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 14634-14634 | Kanuri language is an instance of nilo saharan language |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 65070-65070 |
| appearance as argument number 3 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 14851-14851 | "kr" in ISO-639-1 denotes Kanuri language |
|
|
|