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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Dictionary
Dictionary

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


(documentation Dictionary EnglishLanguage "A ReferenceBook which specifies the meanings of the Words of a Language.") Mid-level-ontology.kif 15139-15140
(externalImage Dictionary "http://upload.wikimedia.org/wikipedia/commons/ 6/ 6e/ Latin_dictionary.jpg") pictureList.kif 4651-4651
(subclass Dictionary ReferenceBook) Mid-level-ontology.kif 15138-15138

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


(termFormat ChineseLanguage Dictionary "字典") domainEnglishFormat.kif 19469-19469
(termFormat ChineseTraditionalLanguage Dictionary "字典") domainEnglishFormat.kif 19468-19468
(termFormat EnglishLanguage Dictionary "dictionary") domainEnglishFormat.kif 19467-19467


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