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

Formal Language: 



KB Term:  Term intersection
English Word: 

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