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

Formal Language: 



KB Term:  Term intersection
English Word: 

  ArtificialLanguage

 Sigma KEE - ArtificialLanguage
ArtificialLanguage(LinguagioArtificiale)

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 1431-1432
(documentation ArtificialLanguage JapaneseLanguage "Human が設計した Language の subclass。") japanese_format.kif 251-252
(documentation ArtificialLanguage SpanishLanguage "La subclass de Languages que son diseñados por Humans.") spanish_format.kif 296-297
(subclass ArtificialLanguage Language) Merge.kif 1429-1429 LinguagioArtificiale è una sottoclasse di Linguaggio

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


(instance EsperantoLanguage ArtificialLanguage) Languages.kif 1370-1370 EsperantoLanguage è un' istanza di LinguagioArtificiale
(instance EuropantoLanguage ArtificialLanguage) Languages.kif 1386-1386 EuropantoLanguage è un' istanza di LinguagioArtificiale
(instance IdoLanguage ArtificialLanguage) Languages.kif 14624-14624 IdoLanguage è un' istanza di LinguagioArtificiale
(instance InterlinguaLanguage ArtificialLanguage) Languages.kif 1393-1393 InterlinguaLanguage è un' istanza di LinguagioArtificiale
(instance InterlingueLanguage ArtificialLanguage) Languages.kif 14627-14627 InterlingueLanguage è un' istanza di LinguagioArtificiale
(instance VolapukLanguage ArtificialLanguage) Languages.kif 14693-14693 VolapukLanguage è un' istanza di LinguagioArtificiale
(subclass ComputerLanguage ArtificialLanguage) Merge.kif 1434-1434 LinguaggioMacchina è una sottoclasse di LinguagioArtificiale
(subclass ConstructedLanguage ArtificialLanguage) Merge.kif 1461-1461 LinguaggioCostruito è una sottoclasse di LinguagioArtificiale
(termFormat ChineseLanguage ArtificialLanguage "人造语言") chinese_format.kif 841-841
(termFormat EnglishLanguage ArtificialLanguage "artificial language") english_format.kif 884-884
(termFormat FrenchLanguage ArtificialLanguage "language artificiel") french_format.kif 517-517
(termFormat Hindi ArtificialLanguage "kQtrima bhaashaa") terms-hindi.txt 48-48
(termFormat ItalianLanguage ArtificialLanguage "LinguagioArtificiale") terms-it.txt 51-51
(termFormat JapaneseLanguage ArtificialLanguage "人工言語") japanese_format.kif 2202-2202
(termFormat PortugueseLanguage ArtificialLanguage "Linguagem Artificial") portuguese_format.kif 469-469
(termFormat cb ArtificialLanguage "pekeng pinulongan") terms-cb.txt 53-53
(termFormat cz ArtificialLanguage "artificial language") terms-cz.txt 84-84
(termFormat ro ArtificialLanguage "limbaj artificial") relations-ro.kif 538-538
(termFormat tg ArtificialLanguage "wikang hindi tunay") terms-tg.txt 52-52


Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree


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