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(ISO-639-1)

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


(codeMapping ISO-639-1 "aa" AfarLanguage) Languages.kif 14747-14747 "aa" in ISO-639-1 denotes Afar language
(codeMapping ISO-639-1 "ab" AbkhazLanguage) Languages.kif 14748-14748 "ab" in ISO-639-1 denotes Abkhaz language
(codeMapping ISO-639-1 "ae" AvestanLanguage) Languages.kif 14811-14811 "ae" in ISO-639-1 denotes Avestan language
(codeMapping ISO-639-1 "af" AfrikaansLanguage) Languages.kif 14719-14719 "af" in ISO-639-1 denotes afrikaans language
(codeMapping ISO-639-1 "ak" AkanLanguage) Languages.kif 14749-14749 "ak" in ISO-639-1 denotes Akan language
(codeMapping ISO-639-1 "am" AmharicLanguage) Languages.kif 14807-14807 "am" in ISO-639-1 denotes Amharic language
(codeMapping ISO-639-1 "an" AragoneseLanguage) Languages.kif 14751-14751 "an" in ISO-639-1 denotes aragonese language
(codeMapping ISO-639-1 "ar" ArabicLanguage) Languages.kif 14808-14808 "ar" in ISO-639-1 denotes Arabic language
(codeMapping ISO-639-1 "as" AssameseLanguage) Languages.kif 14809-14809 "as" in ISO-639-1 denotes Assamese language
(codeMapping ISO-639-1 "av" AvarLanguage) Languages.kif 14810-14810 "av" in ISO-639-1 denotes Avar language
(codeMapping ISO-639-1 "ay" AymaranLanguage) Languages.kif 14753-14753 "ay" in ISO-639-1 denotes aymaran language
(codeMapping ISO-639-1 "az" AzerbaijaniLanguage) Languages.kif 14812-14812 "az" in ISO-639-1 denotes Azerbaijani language
(codeMapping ISO-639-1 "ba" BashkirLanguage) Languages.kif 14813-14813 "ba" in ISO-639-1 denotes Bashkir language
(codeMapping ISO-639-1 "be" BelarusanLanguage) Languages.kif 14755-14755 "be" in ISO-639-1 denotes belarusan language
(codeMapping ISO-639-1 "bg" BulgarianLanguage) Languages.kif 14758-14758 "bg" in ISO-639-1 denotes bulgarian language
(codeMapping ISO-639-1 "bh" BihariLanguage) Languages.kif 14816-14816 "bh" in ISO-639-1 denotes Bihari language
(codeMapping ISO-639-1 "bi" BislamaLanguage) Languages.kif 14756-14756 "bi" in ISO-639-1 denotes bislama language
(codeMapping ISO-639-1 "bm" BambaraLanguage) Languages.kif 14814-14814 "bm" in ISO-639-1 denotes Bambara language
(codeMapping ISO-639-1 "bn" BengaliLanguage) Languages.kif 14815-14815 "bn" in ISO-639-1 denotes Bengali language
(codeMapping ISO-639-1 "bo" TibetanLanguage) Languages.kif 14817-14817 "bo" in ISO-639-1 denotes Tibetan language
(codeMapping ISO-639-1 "br" BretonLanguage) Languages.kif 14757-14757 "br" in ISO-639-1 denotes breton language
(codeMapping ISO-639-1 "bs" BosnianLanguage) Languages.kif 14818-14818 "bs" in ISO-639-1 denotes Bosnian language
(codeMapping ISO-639-1 "ca" CatalanValencianBalearLanguage) Languages.kif 14759-14759 "ca" in ISO-639-1 denotes catalan valencian balear language
(codeMapping ISO-639-1 "ce" ChechenLanguage) Languages.kif 14821-14821 "ce" in ISO-639-1 denotes Chechen language
(codeMapping ISO-639-1 "ch" ChamorroLanguage) Languages.kif 14820-14820 "ch" in ISO-639-1 denotes Chamorro language

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

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


(termFormat EnglishLanguage ISO-639-1 "ISO-639-1") domainEnglishFormat.kif 65018-65018

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


(=>
    (codeMapping ISO-639-1 ?TOKEN ?X)
    (instance ?TOKEN SymbolicString))		 Languages.kif 14715-14717
(=>
    (codeMapping ISO-639-1 ?TOKEN ?X)
    (or
        (instance ?X HumanLanguage)
        (instance ?X
            (subclass ?CLASS HumanLanguage))))		 Languages.kif 14705-14709
(=>
    (codeMapping ISO-639-1 ?TOKEN ?X)
    (stringLength 2 ?TOKEN))		 Languages.kif 14711-14713


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