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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - WesternEurope
WesternEurope(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 and eastern hemisphere overlapsSpatially
(overlapsSpatially WesternEurope WesternHemisphere) Geography.kif 222-222 Western europe and western hemisphere overlapsSpatially

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 ChineseLanguage WesternEurope "西欧") domainEnglishFormat.kif 62800-62800 Western europe has name "Western Europe"
(termFormat ChineseTraditionalLanguage WesternEurope "西歐") domainEnglishFormat.kif 62799-62799 Western europe has name "Western Europe"
(termFormat EnglishLanguage WesternEurope "western europe") domainEnglishFormat.kif 62798-62798 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 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