| 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 1377-1378 | |
| (subclass ArtificialLanguage Language) | Merge.kif 1375-1375 | 人造语言 是 语言 的 subclass |
| appearance as argument number 2 |
|
|
| (instance EsperantoLanguage ArtificialLanguage) | Languages.kif 1370-1370 | 世界语 是 人造语言 的 instance |
| (instance EuropantoLanguage ArtificialLanguage) | Languages.kif 1386-1386 | Europanto语言 是 人造语言 的 instance |
| (instance IdoLanguage ArtificialLanguage) | Languages.kif 14624-14624 | IdoLanguage 是 人造语言 的 instance |
| (instance InterlinguaLanguage ArtificialLanguage) | Languages.kif 1393-1393 | 国际语言 是 人造语言 的 instance |
| (instance InterlingueLanguage ArtificialLanguage) | Languages.kif 14627-14627 | InterlingueLanguage 是 人造语言 的 instance |
| (instance VolapukLanguage ArtificialLanguage) | Languages.kif 14693-14693 | VolapukLanguage 是 人造语言 的 instance |
| (subclass ComputerLanguage ArtificialLanguage) | Merge.kif 1380-1380 | 电算机语言 是 人造语言 的 subclass |
| (subclass ConstructedLanguage ArtificialLanguage) | Merge.kif 1407-1407 | 人工语言 是 人造语言 的 subclass |
| (termFormat ChineseLanguage ArtificialLanguage "人造语言") | chinese_format.kif 841-841 | |
| (termFormat EnglishLanguage ArtificialLanguage "artificial language") | english_format.kif 884-884 |
|
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