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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - NeveDekalim
NeveDekalim(neve dekalim)

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


(documentation NeveDekalim EnglishLanguage "The City of NeveDekalim.") CountriesAndRegions.kif 2123-2123
(externalImage NeveDekalim "http://upload.wikimedia.org/wikipedia/commons/ 0/ 0f/ Gush_Katif_N-Dekalim02.jpg") pictureList.kif 6725-6725
(instance NeveDekalim City) CountriesAndRegions.kif 2122-2122 Neve dekalim is an instance of city

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


(termFormat ChineseLanguage NeveDekalim "neve dekalim") domainEnglishFormat.kif 40287-40287
(termFormat ChineseTraditionalLanguage NeveDekalim "neve dekalim") domainEnglishFormat.kif 40286-40286
(termFormat EnglishLanguage NeveDekalim "neve dekalim") domainEnglishFormat.kif 40285-40285


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