WesternEurope - Sigma Knowledge base Browser

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 62777-62777
(termFormat ChineseTraditionalLanguage WesternEurope "西歐")	domainEnglishFormat.kif 62776-62776
(termFormat EnglishLanguage WesternEurope "western europe")	domainEnglishFormat.kif 62775-62775

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