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

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