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

Formal Language: 


KB Term:  Term intersection
English Word: 

Sigma KEE - ArtificialLanguage
ArtificialLanguage(language artificiel)

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 1426-1427
(documentation ArtificialLanguage JapaneseLanguage "Human が設計した Languagesubclass。") 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 1424-1424 Language artificiel est une sous-classe de langage

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


(instance EsperantoLanguage ArtificialLanguage) Languages.kif 1370-1370 EsperantoLanguage est une instance de language artificiel
(instance EuropantoLanguage ArtificialLanguage) Languages.kif 1386-1386 EuropantoLanguage est une instance de language artificiel
(instance IdoLanguage ArtificialLanguage) Languages.kif 14624-14624 IdoLanguage est une instance de language artificiel
(instance InterlinguaLanguage ArtificialLanguage) Languages.kif 1393-1393 InterlinguaLanguage est une instance de language artificiel
(instance InterlingueLanguage ArtificialLanguage) Languages.kif 14627-14627 InterlingueLanguage est une instance de language artificiel
(instance VolapukLanguage ArtificialLanguage) Languages.kif 14693-14693 VolapukLanguage est une instance de language artificiel
(subclass ComputerLanguage ArtificialLanguage) Merge.kif 1429-1429 Langage de programmation est une sous-classe de language artificiel
(subclass ConstructedLanguage ArtificialLanguage) Merge.kif 1456-1456 Langage construit est une sous-classe de language artificiel
(termFormat ChineseLanguage ArtificialLanguage "人造语言") chinese_format.kif 841-841 Langage construit est une sous-classe de language artificiel
(termFormat EnglishLanguage ArtificialLanguage "artificial language") english_format.kif 884-884 Langage construit est une sous-classe de language artificiel
(termFormat FrenchLanguage ArtificialLanguage "language artificiel") french_format.kif 517-517 Langage construit est une sous-classe de language artificiel
(termFormat Hindi ArtificialLanguage "kQtrima bhaashaa") terms-hindi.txt 48-48 Langage construit est une sous-classe de language artificiel
(termFormat ItalianLanguage ArtificialLanguage "LinguagioArtificiale") terms-it.txt 51-51 Langage construit est une sous-classe de language artificiel
(termFormat JapaneseLanguage ArtificialLanguage "人工言語") japanese_format.kif 2202-2202 Langage construit est une sous-classe de language artificiel
(termFormat PortugueseLanguage ArtificialLanguage "Linguagem Artificial") portuguese_format.kif 469-469 Langage construit est une sous-classe de language artificiel
(termFormat cb ArtificialLanguage "pekeng pinulongan") terms-cb.txt 53-53 Langage construit est une sous-classe de language artificiel
(termFormat cz ArtificialLanguage "artificial language") terms-cz.txt 84-84 Langage construit est une sous-classe de language artificiel
(termFormat de ArtificialLanguage "kuenstliche Sprache") terms-de.txt 343-343 Langage construit est une sous-classe de language artificiel
(termFormat ro ArtificialLanguage "limbaj artificial") relations-ro.kif 538-538 Langage construit est une sous-classe de language artificiel
(termFormat tg ArtificialLanguage "wikang hindi tunay") terms-tg.txt 52-52 Langage construit est une sous-classe de language artificiel


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