| appearance as argument number 1 |
|
| (documentation ErezGazaStrip EnglishLanguage "The City of Erez in GazaStrip.") | CountriesAndRegions.kif 1717-1717 | |
| (geographicSubregion ErezGazaStrip GazaStrip) | CountriesAndRegions.kif 2837-2837 | Erez gaza strip is a geographic subregion of gaza strip |
| (instance ErezGazaStrip City) | CountriesAndRegions.kif 1716-1716 | Erez gaza strip is an instance of city |
| appearance as argument number 2 |
|
|
| (names "Erez" ErezGazaStrip) | CountriesAndRegions.kif 2838-2838 | Erez gaza strip has name "Erez" |
| (termFormat ChineseLanguage ErezGazaStrip "埃雷兹加沙地带") | domainEnglishFormat.kif 22402-22402 | Erez gaza strip has name "Erez" |
| (termFormat ChineseTraditionalLanguage ErezGazaStrip "埃雷茲加沙地帶") | domainEnglishFormat.kif 22401-22401 | Erez gaza strip has name "Erez" |
| (termFormat EnglishLanguage ErezGazaStrip "erez gaza strip") | domainEnglishFormat.kif 22400-22400 | Erez gaza strip has name "Erez" |
|
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