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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - EinavWestBank
EinavWestBank(einav west bank)

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


(documentation EinavWestBank EnglishLanguage "The City of Einav in WestBank.") CountriesAndRegions.kif 1699-1699
(geographicSubregion EinavWestBank WestBank) CountriesAndRegions.kif 2819-2819 Einav west bank is a geographic subregion of west bank
(instance EinavWestBank City) CountriesAndRegions.kif 1698-1698 Einav west bank is an instance of city

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


(names "Einav" EinavWestBank) CountriesAndRegions.kif 2820-2820 Einav west bank has name "Einav"
(termFormat ChineseLanguage EinavWestBank "einav西岸") domainEnglishFormat.kif 21366-21366
(termFormat ChineseTraditionalLanguage EinavWestBank "einav西岸") domainEnglishFormat.kif 21365-21365
(termFormat EnglishLanguage EinavWestBank "einav west bank") domainEnglishFormat.kif 21364-21364


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