Browsing Interface : Welcome guest : log in 		[  Home |  Graph |  LogLearn |  Editor |  ]  KB:  Language: 
  Formal Language: 

KB Term:  Term intersection
English Word: 

Sigma KEE - WesternEurope
WesternEurope(western europe)

appearance as argument number 1
-------------------------


(instance WesternEurope GeographicArea) Geography.kif 88-88 Western europe is an instance of geographic area
(geographicSubregion WesternEurope Europe) Geography.kif 160-160 Western europe is a geographic subregion of europe
(overlapsSpatially WesternEurope EasternHemisphere) Geography.kif 221-221 Western europe and eastern hemisphere overlapsSpatially
(overlapsSpatially WesternEurope WesternHemisphere) Geography.kif 222-222 Western europe and western hemisphere overlapsSpatially
(geographicSubregion WesternEurope NorthernHemisphere) Geography.kif 223-223 Western europe is a geographic subregion of northern hemisphere

appearance as argument number 2
-------------------------


(geographicSubregion Belgium WesternEurope) CountriesAndRegions.kif 348-348 Belgium is a geographic subregion of western europe
(geographicSubregion France WesternEurope) CountriesAndRegions.kif 350-350 France is a geographic subregion of western europe
(geographicSubregion Guernsey WesternEurope) CountriesAndRegions.kif 352-352 Guernsey is a geographic subregion of western europe
(geographicSubregion Ireland WesternEurope) CountriesAndRegions.kif 353-353 Ireland is a geographic subregion of western europe
(geographicSubregion Jersey WesternEurope) CountriesAndRegions.kif 355-355 Jersey is a geographic subregion of western europe
(geographicSubregion Luxembourg WesternEurope) CountriesAndRegions.kif 356-356 Luxembourg is a geographic subregion of western europe
(geographicSubregion IsleOfMan WesternEurope) CountriesAndRegions.kif 358-358 Isle of man is a geographic subregion of western europe
(geographicSubregion Monaco WesternEurope) CountriesAndRegions.kif 359-359 Monaco is a geographic subregion of western europe
(geographicSubregion Netherlands WesternEurope) CountriesAndRegions.kif 361-361 Netherlands is a geographic subregion of western europe
(geographicSubregion UnitedKingdom WesternEurope) CountriesAndRegions.kif 363-363 United kingdom is a geographic subregion of western europe
(names "Western Europe" WesternEurope) Geography.kif 118-118 Western europe has name "Western Europe"
(termFormat EnglishLanguage WesternEurope "western europe") domainEnglishFormat.kif 62776-62776 Western europe has name "Western Europe"
(termFormat ChineseTraditionalLanguage WesternEurope "西歐") domainEnglishFormat.kif 62777-62777 Western europe has name "Western Europe"
(termFormat ChineseLanguage WesternEurope "西欧") domainEnglishFormat.kif 62778-62778 Western europe has name "Western Europe"

antecedent
-------------------------


(=>
    (and
        (instance ?NATION Nation)
        (or
            (geographicSubregion ?NATION NorthAmerica)
            (geographicSubregion ?NATION SouthAmerica)
            (geographicSubregion ?NATION WesternEurope)))
    (holdsDuring
        (WhenFn ?NATION)
        (nationalHoliday ?NATION ChristmasDay)))		 Media.kif 343-351 If X is an instance of nation and At least one of the following holds: (1) X is a geographic subregion of north america (2) X is a geographic subregion of south america (3) X is a geographic subregion of western europe, then Christmas day is a national holiday of X holds during the time of existence of X


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.0-ac69cf7a (2026-05-13) is open source software produced by Articulate Software and its partners