Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 

KB Term:  Term intersection
English Word: 

Sigma KEE - ArtificialLanguage

appearance as argument number 1

(documentation ArtificialLanguage ChineseLanguage "这是由 Human 所设计的 Languagesubclass。") 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