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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - BokmalGroupLanguage
BokmalGroupLanguage

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


(subclass BokmalGroupLanguage DanishBokmalLanguage) Languages.kif 7154-7154 BokmalGroupLanguage est une sous-classe de DanishBokmalLanguage

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


(instance BokmalNorwegianLanguage BokmalGroupLanguage) Languages.kif 7159-7159 BokmalNorwegianLanguage est une instance de BokmalGroupLanguage
(termFormat ChineseLanguage BokmalGroupLanguage "bokmal集团的语言") domainEnglishFormat.kif 11513-11513
(termFormat ChineseTraditionalLanguage BokmalGroupLanguage "bokmal集團的語言") domainEnglishFormat.kif 11512-11512
(termFormat EnglishLanguage BokmalGroupLanguage "bokmal group language") domainEnglishFormat.kif 11511-11511


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