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 ArtificialLanguage and Language

appearance as argument number 2

(instance EsperantoLanguage ArtificialLanguage) Languages.kif 1370-1370 instance EsperantoLanguage and ArtificialLanguage
(instance EuropantoLanguage ArtificialLanguage) Languages.kif 1386-1386 instance EuropantoLanguage and ArtificialLanguage
(instance IdoLanguage ArtificialLanguage) Languages.kif 14624-14624 instance IdoLanguage and ArtificialLanguage
(instance InterlinguaLanguage ArtificialLanguage) Languages.kif 1393-1393 instance InterlinguaLanguage and ArtificialLanguage
(instance InterlingueLanguage ArtificialLanguage) Languages.kif 14627-14627 instance InterlingueLanguage and ArtificialLanguage
(instance VolapukLanguage ArtificialLanguage) Languages.kif 14693-14693 instance VolapukLanguage and ArtificialLanguage
(subclass ComputerLanguage ArtificialLanguage) Merge.kif 1380-1380 subclass ComputerLanguage and ArtificialLanguage
(subclass ConstructedLanguage ArtificialLanguage) Merge.kif 1407-1407 subclass ConstructedLanguage and ArtificialLanguage
(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