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 10224-10224
(termFormat ChineseTraditionalLanguage BatYamIsrael "bat yam 以色列") domainEnglishFormat.kif 10223-10223
(termFormat EnglishLanguage BatYamIsrael "bat yam israel") domainEnglishFormat.kif 10222-10222


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