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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - ArtificialLanguage
ArtificialLanguage(artificial language)

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 1316-1317
(subclass ArtificialLanguage Language) Merge.kif 1314-1314 Artificial language is a subclass of language

appearance as argument number 2
-------------------------


(instance EsperantoLanguage ArtificialLanguage) Languages.kif 1370-1370 Esperanto language is an instance of artificial language
(instance EuropantoLanguage ArtificialLanguage) Languages.kif 1386-1386 Europanto language is an instance of artificial language
(instance IdoLanguage ArtificialLanguage) Languages.kif 14602-14602 IdoLanguage is an instance of artificial language
(instance InterlinguaLanguage ArtificialLanguage) Languages.kif 1393-1393 Interlingua language is an instance of artificial language
(instance InterlingueLanguage ArtificialLanguage) Languages.kif 14605-14605 InterlingueLanguage is an instance of artificial language
(instance VolapukLanguage ArtificialLanguage) Languages.kif 14671-14671 VolapukLanguage is an instance of artificial language
(subclass ComputerLanguage ArtificialLanguage) Merge.kif 1319-1319 Computer language is a subclass of artificial language
(subclass ConstructedLanguage ArtificialLanguage) Merge.kif 1346-1346 Constructed language is a subclass of artificial language
(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