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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - BatYamIsrael
BatYamIsrael(bat yam israel)

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


(documentation BatYamIsrael EnglishLanguage "The City of BatYam in Israel.") CountriesAndRegions.kif 1515-1515
(externalImage BatYamIsrael "http://upload.wikimedia.org/wikipedia/commons/ 0/ 04/ Bat-Yam-beach-south-1.jpg") pictureList.kif 3413-3413
(externalImage BatYamIsrael "http://upload.wikimedia.org/wikipedia/commons/ 0/ 0a/ BatYam01.jpg") pictureList.kif 3415-3415
(externalImage BatYamIsrael "http://upload.wikimedia.org/wikipedia/commons/ 2/ 28/ Bat-Yam-kikar-hameginim-1.jpg") pictureList.kif 3414-3414
(geographicSubregion BatYamIsrael Israel) CountriesAndRegions.kif 2614-2614 Bat yam israel is a geographic subregion of israel
(instance BatYamIsrael City) CountriesAndRegions.kif 1514-1514 Bat yam israel is an instance of city

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


(names "Bat Yam" BatYamIsrael) CountriesAndRegions.kif 2615-2615 Bat yam israel has name "Bat Yam"
(termFormat ChineseLanguage BatYamIsrael "bat yam 以色列") domainEnglishFormat.kif 10232-10232 Bat yam israel has name "Bat Yam"
(termFormat ChineseTraditionalLanguage BatYamIsrael "bat yam 以色列") domainEnglishFormat.kif 10231-10231 Bat yam israel has name "Bat Yam"
(termFormat EnglishLanguage BatYamIsrael "bat yam israel") domainEnglishFormat.kif 10230-10230 Bat yam israel has name "Bat Yam"


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