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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - ZaitaIsrael
ZaitaIsrael(zaita israel)

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


(documentation ZaitaIsrael EnglishLanguage "The City of Zaita in Israel.") CountriesAndRegions.kif 2471-2471
(geographicSubregion ZaitaIsrael Israel) CountriesAndRegions.kif 3692-3692 Zaita israel is a geographic subregion of israel
(instance ZaitaIsrael City) CountriesAndRegions.kif 2470-2470 Zaita israel is an instance of city

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


(names "Zaita" ZaitaIsrael) CountriesAndRegions.kif 3693-3693 Zaita israel has name "Zaita"
(termFormat ChineseLanguage ZaitaIsrael "扎伊塔以色列") domainEnglishFormat.kif 64029-64029
(termFormat ChineseTraditionalLanguage ZaitaIsrael "扎伊塔以色列") domainEnglishFormat.kif 64028-64028
(termFormat EnglishLanguage ZaitaIsrael "zaita israel") domainEnglishFormat.kif 64027-64027


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