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 14747-14747 "aa" 在 ISO-639-1 denotes AfarLanguage
(codeMapping ISO-639-1 "ab" AbkhazLanguage) Languages.kif 14748-14748 "ab" 在 ISO-639-1 denotes AbkhazLanguage
(codeMapping ISO-639-1 "ae" AvestanLanguage) Languages.kif 14811-14811 "ae" 在 ISO-639-1 denotes AvestanLanguage
(codeMapping ISO-639-1 "af" AfrikaansLanguage) Languages.kif 14719-14719 "af" 在 ISO-639-1 denotes 南非荷兰语
(codeMapping ISO-639-1 "ak" AkanLanguage) Languages.kif 14749-14749 "ak" 在 ISO-639-1 denotes AkanLanguage
(codeMapping ISO-639-1 "am" AmharicLanguage) Languages.kif 14807-14807 "am" 在 ISO-639-1 denotes AmharicLanguage
(codeMapping ISO-639-1 "an" AragoneseLanguage) Languages.kif 14751-14751 "an" 在 ISO-639-1 denotes 阿拉贡语言
(codeMapping ISO-639-1 "ar" ArabicLanguage) Languages.kif 14808-14808 "ar" 在 ISO-639-1 denotes ArabicLanguage
(codeMapping ISO-639-1 "as" AssameseLanguage) Languages.kif 14809-14809 "as" 在 ISO-639-1 denotes AssameseLanguage
(codeMapping ISO-639-1 "av" AvarLanguage) Languages.kif 14810-14810 "av" 在 ISO-639-1 denotes AvarLanguage
(codeMapping ISO-639-1 "ay" AymaranLanguage) Languages.kif 14753-14753 "ay" 在 ISO-639-1 denotes aymaran语言
(codeMapping ISO-639-1 "az" AzerbaijaniLanguage) Languages.kif 14812-14812 "az" 在 ISO-639-1 denotes AzerbaijaniLanguage
(codeMapping ISO-639-1 "ba" BashkirLanguage) Languages.kif 14813-14813 "ba" 在 ISO-639-1 denotes BashkirLanguage
(codeMapping ISO-639-1 "be" BelarusanLanguage) Languages.kif 14755-14755 "be" 在 ISO-639-1 denotes 白俄罗斯语言
(codeMapping ISO-639-1 "bg" BulgarianLanguage) Languages.kif 14758-14758 "bg" 在 ISO-639-1 denotes 保加利亚语言
(codeMapping ISO-639-1 "bh" BihariLanguage) Languages.kif 14816-14816 "bh" 在 ISO-639-1 denotes BihariLanguage
(codeMapping ISO-639-1 "bi" BislamaLanguage) Languages.kif 14756-14756 "bi" 在 ISO-639-1 denotes bislama语言
(codeMapping ISO-639-1 "bm" BambaraLanguage) Languages.kif 14814-14814 "bm" 在 ISO-639-1 denotes BambaraLanguage
(codeMapping ISO-639-1 "bn" BengaliLanguage) Languages.kif 14815-14815 "bn" 在 ISO-639-1 denotes BengaliLanguage
(codeMapping ISO-639-1 "bo" TibetanLanguage) Languages.kif 14817-14817 "bo" 在 ISO-639-1 denotes TibetanLanguage
(codeMapping ISO-639-1 "br" BretonLanguage) Languages.kif 14757-14757 "br" 在 ISO-639-1 denotes 布列塔尼语言
(codeMapping ISO-639-1 "bs" BosnianLanguage) Languages.kif 14818-14818 "bs" 在 ISO-639-1 denotes BosnianLanguage
(codeMapping ISO-639-1 "ca" CatalanValencianBalearLanguage) Languages.kif 14759-14759 "ca" 在 ISO-639-1 denotes catalan valencian balear 语
(codeMapping ISO-639-1 "ce" ChechenLanguage) Languages.kif 14821-14821 "ce" 在 ISO-639-1 denotes ChechenLanguage
(codeMapping ISO-639-1 "ch" ChamorroLanguage) Languages.kif 14820-14820 "ch" 在 ISO-639-1 denotes ChamorroLanguage

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 65020-65020

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