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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - NeveYaminIsrael
NeveYaminIsrael(neve yamin israel)

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


(documentation NeveYaminIsrael EnglishLanguage "The City of NeveYamin in Israel.") CountriesAndRegions.kif 2125-2125
(geographicSubregion NeveYaminIsrael Israel) CountriesAndRegions.kif 3303-3303 Neve yamin israel is a geographic subregion of israel
(instance NeveYaminIsrael City) CountriesAndRegions.kif 2124-2124 Neve yamin israel is an instance of city

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


(names "Neve Yamin" NeveYaminIsrael) CountriesAndRegions.kif 3304-3304 Neve yamin israel has name "Neve Yamin"
(termFormat ChineseLanguage NeveYaminIsrael "neve yamin 以色列") domainEnglishFormat.kif 40265-40265
(termFormat ChineseTraditionalLanguage NeveYaminIsrael "neve yamin 以色列") domainEnglishFormat.kif 40264-40264
(termFormat EnglishLanguage NeveYaminIsrael "neve yamin israel") domainEnglishFormat.kif 40263-40263


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