Browsing Interface : Welcome guest : log in 		[  Home |  Graph |  LogLearn |  Editor |  ]  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
-------------------------


(instance ISO_639_1 LanguageCodeMap) Languages.kif 14729-14729 ISO_639_1 is an instance of language code map
(documentation ISO_639_1 EnglishLanguage "This LanguageCodeMap states correspondences between the two_letter natural language denoting tokens defined in the ISO 639-1 standard, and constants defined in SUMO.") Languages.kif 14730-14733 ISO_639_1 is an instance of language code map
(codeMapping ISO_639_1 "af" AfrikaansLanguage) Languages.kif 14747-14747 "af" in ISO_639_1 denotes afrikaans language
(codeMapping ISO_639_1 "cy" WelshLanguage) Languages.kif 14748-14748 "cy" in ISO_639_1 denotes welsh language
(codeMapping ISO_639_1 "da" DanishLanguage) Languages.kif 14749-14749 "da" in ISO_639_1 denotes danish language
(codeMapping ISO_639_1 "de" GermanLanguage) Languages.kif 14750-14750 "de" in ISO_639_1 denotes german language
(codeMapping ISO_639_1 "nl" DutchLanguage) Languages.kif 14751-14751 "nl" in ISO_639_1 denotes dutch language
(codeMapping ISO_639_1 "en" EnglishLanguage) Languages.kif 14752-14752 "en" in ISO_639_1 denotes english language
(codeMapping ISO_639_1 "fo" FaroeseLanguage) Languages.kif 14753-14753 "fo" in ISO_639_1 denotes Faroese language
(codeMapping ISO_639_1 "fi" FinnishLanguage) Languages.kif 14754-14754 "fi" in ISO_639_1 denotes Finnish language
(codeMapping ISO_639_1 "fr" FrenchLanguage) Languages.kif 14755-14755 "fr" in ISO_639_1 denotes french language
(codeMapping ISO_639_1 "gd" ScotsGaelicLanguage) Languages.kif 14756-14756 "gd" in ISO_639_1 denotes scots gaelic language
(codeMapping ISO_639_1 "ga" IrishGaelicLanguage) Languages.kif 14757-14757 "ga" in ISO_639_1 denotes irish gaelic language
(codeMapping ISO_639_1 "is" IcelandicLanguage) Languages.kif 14758-14758 "is" in ISO_639_1 denotes Icelandic language
(codeMapping ISO_639_1 "lb" LuxembourgeoisLanguage) Languages.kif 14759-14759 "lb" in ISO_639_1 denotes luxembourgeois language
(codeMapping ISO_639_1 "mi" MaoriLanguage) Languages.kif 14760-14760 "mi" in ISO_639_1 denotes Maori
(codeMapping ISO_639_1 "nd" NorthernNdebeleLanguage) Languages.kif 14761-14761 "nd" in ISO_639_1 denotes Northern Ndebele language
(codeMapping ISO_639_1 "nr" SouthernNdebeleLanguage) Languages.kif 14762-14762 "nr" in ISO_639_1 denotes Southern Ndebele language
(codeMapping ISO_639_1 "nn" NynorskNorwegianLanguage) Languages.kif 14763-14763 "nn" in ISO_639_1 denotes Nynorsk Norwegian language
(codeMapping ISO_639_1 "nb" BokmalNorwegianLanguage) Languages.kif 14764-14764 "nb" in ISO_639_1 denotes bokmal norwegian language
(codeMapping ISO_639_1 "no" NorwegianLanguage) Languages.kif 14765-14765 "no" in ISO_639_1 denotes Norwegian language
(codeMapping ISO_639_1 "ny" ChichewaLanguage) Languages.kif 14766-14766 "ny" in ISO_639_1 denotes Chichewa language
(codeMapping ISO_639_1 "st" SouthernSothoLanguage) Languages.kif 14767-14767 "st" in ISO_639_1 denotes Southern Sotho language
(codeMapping ISO_639_1 "ss" SwatiLanguage) Languages.kif 14768-14768 "ss" in ISO_639_1 denotes Swati language
(codeMapping ISO_639_1 "sv" SwedishLanguage) Languages.kif 14769-14769 "sv" in ISO_639_1 denotes swedish 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 65011-65011

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


(=>
    (codeMapping ISO_639_1 ?TOKEN ?X)
    (instance ?X HumanLanguage))		 Languages.kif 14735-14737 If X in ISO_639_1 denotes Y, then Y is an instance of human language
(=>
    (codeMapping ISO_639_1 ?TOKEN ?X)
    (stringLength 2 ?TOKEN))		 Languages.kif 14739-14741 If X in ISO_639_1 denotes Y, then X is 2 characters long
(=>
    (codeMapping ISO_639_1 ?TOKEN ?X)
    (instance ?TOKEN SymbolicString))		 Languages.kif 14743-14745 If X in ISO_639_1 denotes Y, then X is an instance of symbolic string


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.0-ac69cf7a (2026-05-13) is open source software produced by Articulate Software and its partners