| appearance as argument number 1 |
|
| (documentation EfratWestBank EnglishLanguage "The City of Efrat in WestBank.") | CountriesAndRegions.kif 1695-1695 | |
| (geographicSubregion EfratWestBank WestBank) | CountriesAndRegions.kif 2815-2815 | Efrat west bank is a geographic subregion of west bank |
| (instance EfratWestBank City) | CountriesAndRegions.kif 1694-1694 | Efrat west bank is an instance of city |
| appearance as argument number 2 |
|
|
| (names "Efrat" EfratWestBank) | CountriesAndRegions.kif 2816-2816 | Efrat west bank has name "Efrat" |
| (termFormat ChineseLanguage EfratWestBank "efrat西岸") | domainEnglishFormat.kif 21334-21334 | Efrat west bank has name "Efrat" |
| (termFormat ChineseTraditionalLanguage EfratWestBank "efrat西岸") | domainEnglishFormat.kif 21333-21333 | Efrat west bank has name "Efrat" |
| (termFormat EnglishLanguage EfratWestBank "efrat west bank") | domainEnglishFormat.kif 21332-21332 | Efrat west bank has name "Efrat" |
|
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