| 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 1408-1409 | |
| (subclass ArtificialLanguage Language) | Merge.kif 1406-1406 |
| appearance as argument number 2 |
|
|
| (instance EsperantoLanguage ArtificialLanguage) | Languages.kif 1370-1370 | |
| (instance EuropantoLanguage ArtificialLanguage) | Languages.kif 1386-1386 | |
| (instance IdoLanguage ArtificialLanguage) | Languages.kif 14624-14624 | |
| (instance InterlinguaLanguage ArtificialLanguage) | Languages.kif 1393-1393 | |
| (instance InterlingueLanguage ArtificialLanguage) | Languages.kif 14627-14627 | |
| (instance VolapukLanguage ArtificialLanguage) | Languages.kif 14693-14693 | |
| (subclass ComputerLanguage ArtificialLanguage) | Merge.kif 1411-1411 | |
| (subclass ConstructedLanguage ArtificialLanguage) | Merge.kif 1438-1438 | |
| (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