Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| IdoLanguage(Ido language) |
| appearance as argument number 1 |
|
| (instance IdoLanguage ArtificialLanguage) | Languages.kif 14654-14654 | Ido language is an instance of artificial language |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage IdoLanguage "Ido language") | domainEnglishFormat.kif 65022-65022 |
| appearance as argument number 3 |
|
|
| (codeMapping ISO_639_1 "io" IdoLanguage) | Languages.kif 14869-14869 | "io" in ISO_639_1 denotes Ido language |
|