| appearance as argument number 1 |
|
| (geographicSubregion WesternEurope Europe) | Geography.kif 160-160 | 西歐 是 歐洲 的 geographic 次要地區 |
| (geographicSubregion WesternEurope NorthernHemisphere) | Geography.kif 223-223 | 西歐 是 北半球 的 geographic 次要地區 |
| (instance WesternEurope GeographicArea) | Geography.kif 88-88 | 例 西歐 and GeographicArea |
| (overlapsSpatially WesternEurope EasternHemisphere) | Geography.kif 221-221 | 在空間上重疊 西歐 and 東半球 |
| (overlapsSpatially WesternEurope WesternHemisphere) | Geography.kif 222-222 | 在空間上重疊 西歐 and 西半球 |
| appearance as argument number 2 |
|
|
| (geographicSubregion Belgium WesternEurope) | CountriesAndRegions.kif 348-348 | 比利時 是 西歐 的 geographic 次要地區 |
| (geographicSubregion France WesternEurope) | CountriesAndRegions.kif 350-350 | 法國 是 西歐 的 geographic 次要地區 |
| (geographicSubregion Guernsey WesternEurope) | CountriesAndRegions.kif 352-352 | 根西島 是 西歐 的 geographic 次要地區 |
| (geographicSubregion Ireland WesternEurope) | CountriesAndRegions.kif 353-353 | 愛爾蘭 是 西歐 的 geographic 次要地區 |
| (geographicSubregion IsleOfMan WesternEurope) | CountriesAndRegions.kif 358-358 | 人島 是 西歐 的 geographic 次要地區 |
| (geographicSubregion Jersey WesternEurope) | CountriesAndRegions.kif 355-355 | 球衣 是 西歐 的 geographic 次要地區 |
| (geographicSubregion Luxembourg WesternEurope) | CountriesAndRegions.kif 356-356 | 盧森堡 是 西歐 的 geographic 次要地區 |
| (geographicSubregion Monaco WesternEurope) | CountriesAndRegions.kif 359-359 | 摩納哥 是 西歐 的 geographic 次要地區 |
| (geographicSubregion Netherlands WesternEurope) | CountriesAndRegions.kif 361-361 | 荷蘭 是 西歐 的 geographic 次要地區 |
| (geographicSubregion UnitedKingdom WesternEurope) | CountriesAndRegions.kif 363-363 | 英國 是 西歐 的 geographic 次要地區 |
| (names "Western Europe" WesternEurope) | Geography.kif 118-118 | 名 "Western Europe" and 西歐 |
| (termFormat ChineseLanguage WesternEurope "西欧") | domainEnglishFormat.kif 62775-62775 | |
| (termFormat ChineseTraditionalLanguage WesternEurope "西歐") | domainEnglishFormat.kif 62774-62774 | |
| (termFormat EnglishLanguage WesternEurope "western europe") | domainEnglishFormat.kif 62773-62773 |
| antecedent |
|
|
| (=> (and (instance ?NATION Nation) (or (geographicSubregion ?NATION NorthAmerica) (geographicSubregion ?NATION SouthAmerica) (geographicSubregion ?NATION WesternEurope))) (holdsDuring (WhenFn ?NATION) (nationalHoliday ?NATION ChristmasDay))) |
Media.kif 349-357 |
|
|
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