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

Formal Language: 



KB Term:  Term intersection
English Word: 

  WesternEurope

 Sigma KEE - WesternEurope
WesternEurope

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


(geographicSubregion WesternEurope Europe) Geography.kif 160-160 geographicSubregion WesternEurope and Europe
(geographicSubregion WesternEurope NorthernHemisphere) Geography.kif 223-223 geographicSubregion WesternEurope and NorthernHemisphere
(instance WesternEurope GeographicArea) Geography.kif 88-88 WesternEurope est une instance de secteur g�ographique
(overlapsSpatially WesternEurope EasternHemisphere) Geography.kif 221-221 WesternEurope recouvre EasternHemisphere
(overlapsSpatially WesternEurope WesternHemisphere) Geography.kif 222-222 WesternEurope recouvre WesternHemisphere

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


(geographicSubregion Belgium WesternEurope) CountriesAndRegions.kif 348-348 geographicSubregion Belgium and WesternEurope
(geographicSubregion France WesternEurope) CountriesAndRegions.kif 350-350 geographicSubregion France and WesternEurope
(geographicSubregion Guernsey WesternEurope) CountriesAndRegions.kif 352-352 geographicSubregion Guernsey and WesternEurope
(geographicSubregion Ireland WesternEurope) CountriesAndRegions.kif 353-353 geographicSubregion Ireland and WesternEurope
(geographicSubregion IsleOfMan WesternEurope) CountriesAndRegions.kif 358-358 geographicSubregion IsleOfMan and WesternEurope
(geographicSubregion Jersey WesternEurope) CountriesAndRegions.kif 355-355 geographicSubregion Jersey and WesternEurope
(geographicSubregion Luxembourg WesternEurope) CountriesAndRegions.kif 356-356 geographicSubregion Luxembourg and WesternEurope
(geographicSubregion Monaco WesternEurope) CountriesAndRegions.kif 359-359 geographicSubregion Monaco and WesternEurope
(geographicSubregion Netherlands WesternEurope) CountriesAndRegions.kif 361-361 geographicSubregion Netherlands and WesternEurope
(geographicSubregion UnitedKingdom WesternEurope) CountriesAndRegions.kif 363-363 geographicSubregion UnitedKingdom and WesternEurope
(names "Western Europe" WesternEurope) Geography.kif 118-118 WesternEurope s'appele nom "Western Europe"
(termFormat ChineseLanguage WesternEurope "西欧") domainEnglishFormat.kif 62775-62775
(termFormat ChineseTraditionalLanguage WesternEurope "西歐") domainEnglishFormat.kif 62774-62774
(termFormat EnglishLanguage WesternEurope "western europe") domainEnglishFormat.kif 62773-62773

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 3.0 is open source software produced by Articulate Software and its partners