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


s__codeMapping(s__ISO_639_1,'aa',s__AfarLanguage)

Languages.kif 14725-14725
s__codeMapping(s__ISO_639_1,'ab',s__AbkhazLanguage)

Languages.kif 14726-14726
s__codeMapping(s__ISO_639_1,'ae',s__AvestanLanguage)

Languages.kif 14789-14789
s__codeMapping(s__ISO_639_1,'af',s__AfrikaansLanguage)

Languages.kif 14697-14697
s__codeMapping(s__ISO_639_1,'ak',s__AkanLanguage)

Languages.kif 14727-14727
s__codeMapping(s__ISO_639_1,'am',s__AmharicLanguage)

Languages.kif 14785-14785
s__codeMapping(s__ISO_639_1,'an',s__AragoneseLanguage)

Languages.kif 14729-14729
s__codeMapping(s__ISO_639_1,'ar',s__ArabicLanguage)

Languages.kif 14786-14786
s__codeMapping(s__ISO_639_1,'as',s__AssameseLanguage)

Languages.kif 14787-14787
s__codeMapping(s__ISO_639_1,'av',s__AvarLanguage)

Languages.kif 14788-14788
s__codeMapping(s__ISO_639_1,'ay',s__AymaranLanguage)

Languages.kif 14731-14731
s__codeMapping(s__ISO_639_1,'az',s__AzerbaijaniLanguage)

Languages.kif 14790-14790
s__codeMapping(s__ISO_639_1,'ba',s__BashkirLanguage)

Languages.kif 14791-14791
s__codeMapping(s__ISO_639_1,'be',s__BelarusanLanguage)

Languages.kif 14733-14733
s__codeMapping(s__ISO_639_1,'bg',s__BulgarianLanguage)

Languages.kif 14736-14736
s__codeMapping(s__ISO_639_1,'bh',s__BihariLanguage)

Languages.kif 14794-14794
s__codeMapping(s__ISO_639_1,'bi',s__BislamaLanguage)

Languages.kif 14734-14734
s__codeMapping(s__ISO_639_1,'bm',s__BambaraLanguage)

Languages.kif 14792-14792
s__codeMapping(s__ISO_639_1,'bn',s__BengaliLanguage)

Languages.kif 14793-14793
s__codeMapping(s__ISO_639_1,'bo',s__TibetanLanguage)

Languages.kif 14795-14795
s__codeMapping(s__ISO_639_1,'br',s__BretonLanguage)

Languages.kif 14735-14735
s__codeMapping(s__ISO_639_1,'bs',s__BosnianLanguage)

Languages.kif 14796-14796
s__codeMapping(s__ISO_639_1,'ca',s__CatalanValencianBalearLanguage)

Languages.kif 14737-14737
s__codeMapping(s__ISO_639_1,'ce',s__ChechenLanguage)

Languages.kif 14799-14799
s__codeMapping(s__ISO_639_1,'ch',s__ChamorroLanguage)

Languages.kif 14798-14798

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

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


( ! [V__TOKEN,V__X] :
   (s__codeMapping(s__ISO_639_1,V__TOKEN,V__X)
   =>
   s__instance(V__TOKEN,s__SymbolicString))
)

Languages.kif 14693-14695
( ! [V__TOKEN,V__X] :
   (s__codeMapping(s__ISO_639_1,V__TOKEN,V__X)
   =>
   (s__instance(V__X,s__HumanLanguage) |
     s__subclass(V__X,s__HumanLanguage)))
)

Languages.kif 14683-14687
( ! [V__TOKEN,V__X] :
   (s__codeMapping(s__ISO_639_1,V__TOKEN,V__X)
   =>
   s__stringLength(2,V__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