WesternEurope
|
|
appearance as argument number 1 |
(geographicSubregion WesternEurope Europe) | Geography.kif 160-160 | |
(geographicSubregion WesternEurope NorthernHemisphere) | Geography.kif 223-223 | |
(instance WesternEurope GeographicArea) | Geography.kif 88-88 | |
(overlapsSpatially WesternEurope EasternHemisphere) | Geography.kif 221-221 | |
(overlapsSpatially WesternEurope WesternHemisphere) | Geography.kif 222-222 |
appearance as argument number 2 |
(geographicSubregion Belgium WesternEurope) | CountriesAndRegions.kif 348-348 | |
(geographicSubregion France WesternEurope) | CountriesAndRegions.kif 350-350 | |
(geographicSubregion Guernsey WesternEurope) | CountriesAndRegions.kif 352-352 | |
(geographicSubregion Ireland WesternEurope) | CountriesAndRegions.kif 353-353 | |
(geographicSubregion IsleOfMan WesternEurope) | CountriesAndRegions.kif 358-358 | |
(geographicSubregion Jersey WesternEurope) | CountriesAndRegions.kif 355-355 | |
(geographicSubregion Luxembourg WesternEurope) | CountriesAndRegions.kif 356-356 | |
(geographicSubregion Monaco WesternEurope) | CountriesAndRegions.kif 359-359 | |
(geographicSubregion Netherlands WesternEurope) | CountriesAndRegions.kif 361-361 | |
(geographicSubregion UnitedKingdom WesternEurope) | CountriesAndRegions.kif 363-363 | |
(names "Western Europe" WesternEurope) | Geography.kif 118-118 | |
(termFormat ChineseLanguage WesternEurope "西欧") | domainEnglishFormat.kif 62823-62823 | |
(termFormat ChineseTraditionalLanguage WesternEurope "西歐") | domainEnglishFormat.kif 62822-62822 | |
(termFormat EnglishLanguage WesternEurope "western europe") | domainEnglishFormat.kif 62821-62821 |
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 |