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
(codeMapping ISO-639-1 "ab" AbkhazLanguage) Languages.kif 14748-14748
(codeMapping ISO-639-1 "ae" AvestanLanguage) Languages.kif 14811-14811
(codeMapping ISO-639-1 "af" AfrikaansLanguage) Languages.kif 14719-14719
(codeMapping ISO-639-1 "ak" AkanLanguage) Languages.kif 14749-14749
(codeMapping ISO-639-1 "am" AmharicLanguage) Languages.kif 14807-14807
(codeMapping ISO-639-1 "an" AragoneseLanguage) Languages.kif 14751-14751
(codeMapping ISO-639-1 "ar" ArabicLanguage) Languages.kif 14808-14808
(codeMapping ISO-639-1 "as" AssameseLanguage) Languages.kif 14809-14809
(codeMapping ISO-639-1 "av" AvarLanguage) Languages.kif 14810-14810
(codeMapping ISO-639-1 "ay" AymaranLanguage) Languages.kif 14753-14753
(codeMapping ISO-639-1 "az" AzerbaijaniLanguage) Languages.kif 14812-14812
(codeMapping ISO-639-1 "ba" BashkirLanguage) Languages.kif 14813-14813
(codeMapping ISO-639-1 "be" BelarusanLanguage) Languages.kif 14755-14755
(codeMapping ISO-639-1 "bg" BulgarianLanguage) Languages.kif 14758-14758
(codeMapping ISO-639-1 "bh" BihariLanguage) Languages.kif 14816-14816
(codeMapping ISO-639-1 "bi" BislamaLanguage) Languages.kif 14756-14756
(codeMapping ISO-639-1 "bm" BambaraLanguage) Languages.kif 14814-14814
(codeMapping ISO-639-1 "bn" BengaliLanguage) Languages.kif 14815-14815
(codeMapping ISO-639-1 "bo" TibetanLanguage) Languages.kif 14817-14817
(codeMapping ISO-639-1 "br" BretonLanguage) Languages.kif 14757-14757
(codeMapping ISO-639-1 "bs" BosnianLanguage) Languages.kif 14818-14818
(codeMapping ISO-639-1 "ca" CatalanValencianBalearLanguage) Languages.kif 14759-14759
(codeMapping ISO-639-1 "ce" ChechenLanguage) Languages.kif 14821-14821
(codeMapping ISO-639-1 "ch" ChamorroLanguage) Languages.kif 14820-14820

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

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