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

Formal Language: 

KB Term:  Term intersection
English Word: 

Sigma KEE - CzechSlovakLanguage

appearance as argument number 1

(documentation CzechSlovakLanguage EnglishLanguage "Of the eight WestSlavicLanguages, three are classified as a CzechSlovakLanguage.(extract from http:/ / )") Languages.kif 10994-10995
(subclass CzechSlovakLanguage WestSlavicLanguage) Languages.kif 10993-10993

appearance as argument number 2

(instance CzechLanguage CzechSlovakLanguage) Languages.kif 10998-10998
(instance KnaanicLanguage CzechSlovakLanguage) Languages.kif 11011-11011
(instance SlovakLanguage CzechSlovakLanguage) Languages.kif 11020-11020
(termFormat ChineseLanguage CzechSlovakLanguage "捷克斯洛伐克语") domainEnglishFormat.kif 18342-18342
(termFormat ChineseTraditionalLanguage CzechSlovakLanguage "捷克斯洛伐克語") domainEnglishFormat.kif 18341-18341
(termFormat EnglishLanguage CzechSlovakLanguage "czech slovak language") domainEnglishFormat.kif 18340-18340

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