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

Formal Language: 



KB Term:  Term intersection
English Word: 

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 ist ein fall von GeographicArea %n{nicht}
(overlapsSpatially WesternEurope EasternHemisphere) Geography.kif 221-221 WesternEurope deckt sich mit EasternHemisphere raeumlich %n{nicht}
(overlapsSpatially WesternEurope WesternHemisphere) Geography.kif 222-222 WesternEurope deckt sich mit WesternHemisphere raeumlich %n{nicht}

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 names "Western Europe" and WesternEurope
(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


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