Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 

KB Term:  Term intersection
English Word: 

Sigma KEE - AlemannicLanguage
AlemannicLanguage(alemannic language)

appearance as argument number 1

(documentation AlemannicLanguage EnglishLanguage "Of the eight UpperGermanLanguages, three are classified as an AlemannicLanguage.(extract from http:/ / )") Languages.kif 7948-7949
(externalImage AlemannicLanguage " commons/ 4/ 40/ Karte_limes.jpg") pictureList.kif 9875-9875
(externalImage AlemannicLanguage " commons/ 9/ 9b/ Alamannien_Hochburgund_ca_1000.png") pictureList.kif 10370-10370
(externalImage AlemannicLanguage " commons/ b/ bc/ Alemanni_expansion.png") pictureList.kif 10371-10371
(externalImage AlemannicLanguage " commons/ c/ ca/ Alemannisch.png") pictureList.kif 10373-10373
(subclass AlemannicLanguage UpperGermanLanguage) Languages.kif 7947-7947 Alemannic language is a subclass of upper german language

appearance as argument number 2

(instance AlemannischLanguage AlemannicLanguage) Languages.kif 7952-7952 Alemannisch language is an instance of alemannic language
(instance ColoniaTovarGermanLanguage AlemannicLanguage) Languages.kif 8000-8000 Colonia tovar german language is an instance of alemannic language
(instance SwabianLanguage AlemannicLanguage) Languages.kif 8010-8010 Swabian language is an instance of alemannic language
(termFormat ChineseLanguage AlemannicLanguage "alemannic语言") domainEnglishFormat.kif 6444-6444
(termFormat ChineseTraditionalLanguage AlemannicLanguage "alemannic語言") domainEnglishFormat.kif 6443-6443
(termFormat EnglishLanguage AlemannicLanguage "alemannic language") domainEnglishFormat.kif 6442-6442

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