| NavajoLanguage(Navajo language) | | Navaho, Navajo |
| appearance as argument number 1 |
|
|
| (instance NavajoLanguage NaDeneLanguage) | Languages.kif 14658-14658 | Navajo language is an instance of na dene language |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage NavajoLanguage "Navajo language") | domainEnglishFormat.kif 65226-65226 |
| appearance as argument number 3 |
|
|
| (codeMapping ISO-639-1 "nv" NavajoLanguage) | Languages.kif 14875-14875 | "nv" in ISO-639-1 denotes Navajo language |
|
|
|