| appearance as argument number 1 |
|
| (documentation ArtificialLanguage ChineseLanguage "这是由 Human 所设计的 Language 的 subclass。") | chinese_format.kif 1662-1663 | |
| (documentation ArtificialLanguage EnglishLanguage "The subclass of Languages that are designed by Humans.") | Merge.kif 1316-1317 | |
| (subclass ArtificialLanguage Language) | Merge.kif 1314-1314 |
| appearance as argument number 2 |
|
|
| (instance EsperantoLanguage ArtificialLanguage) | Languages.kif 1370-1370 | |
| (instance EuropantoLanguage ArtificialLanguage) | Languages.kif 1386-1386 | |
| (instance IdoLanguage ArtificialLanguage) | Languages.kif 14602-14602 | |
| (instance InterlinguaLanguage ArtificialLanguage) | Languages.kif 1393-1393 | |
| (instance InterlingueLanguage ArtificialLanguage) | Languages.kif 14605-14605 | |
| (instance VolapukLanguage ArtificialLanguage) | Languages.kif 14671-14671 | |
| (subclass ComputerLanguage ArtificialLanguage) | Merge.kif 1319-1319 | |
| (subclass ConstructedLanguage ArtificialLanguage) | Merge.kif 1346-1346 | |
| (termFormat ChineseLanguage ArtificialLanguage "人造语言") | chinese_format.kif 841-841 | |
| (termFormat EnglishLanguage ArtificialLanguage "artificial language") | english_format.kif 889-889 |
|
Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)
|
|
Sigma web home Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners