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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - EastMiddleGermanLanguage
EastMiddleGermanLanguage

appearance as argument number 1
-------------------------


(subclass EastMiddleGermanLanguage MiddleGermanLanguage) Languages.kif 7738-7738

appearance as argument number 2
-------------------------


(instance GermanLanguage EastMiddleGermanLanguage) Languages.kif 7743-7743
(instance LowerSilesianLanguage EastMiddleGermanLanguage) Languages.kif 7803-7803
(instance UpperSilesianLanguage EastMiddleGermanLanguage) Languages.kif 7817-7817
(termFormat ChineseLanguage EastMiddleGermanLanguage "东中德语") domainEnglishFormat.kif 20994-20994
(termFormat ChineseTraditionalLanguage EastMiddleGermanLanguage "東中德語") domainEnglishFormat.kif 20993-20993
(termFormat EnglishLanguage EastMiddleGermanLanguage "east middle german language") domainEnglishFormat.kif 20992-20992


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