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

Formal Language: 



KB Term:  Term intersection
English Word: 

  SupremeCourtJudge

Sigma KEE - AlgicLanguage
AlgicLanguage

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


(documentation AlgicLanguage EnglishLanguage "An AlgicLanguage is any one of 40 languages forming a major family of languages.(extract from http:/ / www.ethnologue.com/ )") Languages.kif 5094-5095
(externalImage AlgicLanguage "http://upload.wikimedia.org/wikipedia/commons/ 1/ 11/ Algic_langs.png") pictureList.kif 8329-8329
(subclass AlgicLanguage SpokenHumanLanguage) Languages.kif 5093-5093 AlgicLanguage è una sottoclasse di SpokenHumanLanguage

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


(instance AnishinaabeLanguage AlgicLanguage) Languages.kif 14662-14662 AnishinaabeLanguage è un' istanza di AlgicLanguage
(subclass CreeLanguage AlgicLanguage) Languages.kif 14609-14609 CreeLanguage è una sottoclasse di AlgicLanguage
(termFormat ChineseLanguage AlgicLanguage "algic 语言") domainEnglishFormat.kif 6504-6504
(termFormat ChineseTraditionalLanguage AlgicLanguage "algic 語言") domainEnglishFormat.kif 6503-6503
(termFormat EnglishLanguage AlgicLanguage "algic language") domainEnglishFormat.kif 6502-6502


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