Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| InterlingueLanguage(Interlingue language) |
| appearance as argument number 1 |
|
| (instance InterlingueLanguage ArtificialLanguage) | Languages.kif 14657-14657 | Interlingue language is an instance of artificial language |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage InterlingueLanguage "Interlingue language") | domainEnglishFormat.kif 65038-65038 |
| appearance as argument number 3 |
|
|
| (codeMapping ISO_639_1 "ie" InterlingueLanguage) | Languages.kif 14872-14872 | "ie" in ISO_639_1 denotes Interlingue language |
|