| appearance as argument number 1 |
|
| (geographicSubregion ZeifIntersectionWestBank WestBank) | CountriesAndRegions.kif 3703-3703 | Zeif intersection west bank is a geographic subregion of west bank |
| (instance ZeifIntersectionWestBank GeographicArea) | CountriesAndRegions.kif 3702-3702 | Zeif intersection west bank is an instance of geographic area |
| appearance as argument number 2 |
|
|
| (names "Zeif intersection" ZeifIntersectionWestBank) | CountriesAndRegions.kif 3704-3704 | Zeif intersection west bank has name "Zeif intersection" |
| (termFormat ChineseLanguage ZeifIntersectionWestBank "泽伊夫交叉口西岸") | domainEnglishFormat.kif 64117-64117 | |
| (termFormat ChineseTraditionalLanguage ZeifIntersectionWestBank "澤伊夫交叉口西岸") | domainEnglishFormat.kif 64116-64116 | |
| (termFormat EnglishLanguage ZeifIntersectionWestBank "zeif intersection west bank") | domainEnglishFormat.kif 64115-64115 |
|
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