| appearance as argument number 1 |
|
| (documentation EfratWestBank EnglishLanguage "The City of Efrat in WestBank.") | CountriesAndRegions.kif 1695-1695 | |
| (geographicSubregion EfratWestBank WestBank) | CountriesAndRegions.kif 2816-2816 | |
| (instance EfratWestBank City) | CountriesAndRegions.kif 1694-1694 |
| appearance as argument number 2 |
|
|
| (names "Efrat" EfratWestBank) | CountriesAndRegions.kif 2817-2817 | |
| (termFormat ChineseLanguage EfratWestBank "efrat西岸") | domainEnglishFormat.kif 21309-21309 | |
| (termFormat ChineseTraditionalLanguage EfratWestBank "efrat西岸") | domainEnglishFormat.kif 21308-21308 | |
| (termFormat EnglishLanguage EfratWestBank "efrat west bank") | domainEnglishFormat.kif 21307-21307 |
|
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