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

Formal Language: 



KB Term:  Term intersection
English Word: 

  ISO-639-1

Sigma KEE - ISO-639-1
ISO-639-1

appearance as argument number 1
-------------------------


(codeMapping ISO-639-1 "aa" AfarLanguage) Languages.kif 14725-14725
(codeMapping ISO-639-1 "ab" AbkhazLanguage) Languages.kif 14726-14726
(codeMapping ISO-639-1 "ae" AvestanLanguage) Languages.kif 14789-14789
(codeMapping ISO-639-1 "af" AfrikaansLanguage) Languages.kif 14697-14697
(codeMapping ISO-639-1 "ak" AkanLanguage) Languages.kif 14727-14727
(codeMapping ISO-639-1 "am" AmharicLanguage) Languages.kif 14785-14785
(codeMapping ISO-639-1 "an" AragoneseLanguage) Languages.kif 14729-14729
(codeMapping ISO-639-1 "ar" ArabicLanguage) Languages.kif 14786-14786
(codeMapping ISO-639-1 "as" AssameseLanguage) Languages.kif 14787-14787
(codeMapping ISO-639-1 "av" AvarLanguage) Languages.kif 14788-14788
(codeMapping ISO-639-1 "ay" AymaranLanguage) Languages.kif 14731-14731
(codeMapping ISO-639-1 "az" AzerbaijaniLanguage) Languages.kif 14790-14790
(codeMapping ISO-639-1 "ba" BashkirLanguage) Languages.kif 14791-14791
(codeMapping ISO-639-1 "be" BelarusanLanguage) Languages.kif 14733-14733
(codeMapping ISO-639-1 "bg" BulgarianLanguage) Languages.kif 14736-14736
(codeMapping ISO-639-1 "bh" BihariLanguage) Languages.kif 14794-14794
(codeMapping ISO-639-1 "bi" BislamaLanguage) Languages.kif 14734-14734
(codeMapping ISO-639-1 "bm" BambaraLanguage) Languages.kif 14792-14792
(codeMapping ISO-639-1 "bn" BengaliLanguage) Languages.kif 14793-14793
(codeMapping ISO-639-1 "bo" TibetanLanguage) Languages.kif 14795-14795
(codeMapping ISO-639-1 "br" BretonLanguage) Languages.kif 14735-14735
(codeMapping ISO-639-1 "bs" BosnianLanguage) Languages.kif 14796-14796
(codeMapping ISO-639-1 "ca" CatalanValencianBalearLanguage) Languages.kif 14737-14737
(codeMapping ISO-639-1 "ce" ChechenLanguage) Languages.kif 14799-14799
(codeMapping ISO-639-1 "ch" ChamorroLanguage) Languages.kif 14798-14798

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

antecedent
-------------------------


(=>
    (codeMapping ISO-639-1 ?TOKEN ?X)
    (instance ?TOKEN SymbolicString))
Languages.kif 14693-14695
(=>
    (codeMapping ISO-639-1 ?TOKEN ?X)
    (or
        (instance ?X HumanLanguage)
        (subclass ?X HumanLanguage)))
Languages.kif 14683-14687
(=>
    (codeMapping ISO-639-1 ?TOKEN ?X)
    (stringLength 2 ?TOKEN))
Languages.kif 14689-14691


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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners