| appearance as argument number 1 |
|
| (documentation SantaPolaSpain EnglishLanguage "The City of SantaPola in Spain.") | CountriesAndRegions.kif 2296-2296 | |
| (geographicSubregion SantaPolaSpain Spain) | CountriesAndRegions.kif 3494-3494 | Santa pola spain is a geographic subregion of spain |
| (instance SantaPolaSpain City) | CountriesAndRegions.kif 2295-2295 | Santa pola spain is an instance of city |
| appearance as argument number 2 |
|
|
| (names "Santa Pola" SantaPolaSpain) | CountriesAndRegions.kif 3495-3495 | Santa pola spain has name "Santa Pola" |
| (termFormat ChineseLanguage SantaPolaSpain "圣波拉西班牙") | domainEnglishFormat.kif 51235-51235 | Santa pola spain has name "Santa Pola" |
| (termFormat ChineseTraditionalLanguage SantaPolaSpain "聖波拉西班牙") | domainEnglishFormat.kif 51234-51234 | Santa pola spain has name "Santa Pola" |
| (termFormat EnglishLanguage SantaPolaSpain "santa pola spain") | domainEnglishFormat.kif 51233-51233 | Santa pola spain has name "Santa Pola" |
|
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