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

Formal Language: 



KB Term:  Term intersection
English Word: 

  LeftTrueRib4Bone

Sigma KEE - BokmalGroupLanguage
BokmalGroupLanguage

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


(subclass BokmalGroupLanguage DanishBokmalLanguage) Languages.kif 7154-7154 BokmalGroupLanguage è una sottoclasse di DanishBokmalLanguage

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


(instance BokmalNorwegianLanguage BokmalGroupLanguage) Languages.kif 7159-7159 BokmalNorwegianLanguage è un' istanza di 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 simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree


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