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 NorthernHemisphere) Geography.kif 223-223
(instance WesternEurope GeographicArea) Geography.kif 88-88
(overlapsSpatially WesternEurope EasternHemisphere) Geography.kif 221-221
(overlapsSpatially WesternEurope WesternHemisphere) Geography.kif 222-222

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


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

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