Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

  WesternEurope

Sigma KEE - WesternEurope
WesternEurope(western europe)western_europe

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


(geographicSubregion WesternEurope Europe) Geography.kif 160-160 Western europe is a geographic subregion of europe
(geographicSubregion WesternEurope NorthernHemisphere) Geography.kif 223-223 Western europe is a geographic subregion of northern hemisphere
(instance WesternEurope GeographicArea) Geography.kif 88-88 Western europe is an instance of geographic area
(overlapsSpatially WesternEurope EasternHemisphere) Geography.kif 221-221 Western europe overlaps with eastern hemisphere
(overlapsSpatially WesternEurope WesternHemisphere) Geography.kif 222-222 Western europe overlaps with western 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 IsleOfMan WesternEurope) CountriesAndRegions.kif 358-358 Isle of man 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 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 10887-10887 "western europe" is the printable form of western europe in english language

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 simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree


Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners