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 instance WesternEurope and GeographicArea
(overlapsSpatially WesternEurope EasternHemisphere) Geography.kif 221-221 overlapsSpatially WesternEurope and EasternHemisphere
(overlapsSpatially WesternEurope WesternHemisphere) Geography.kif 222-222 overlapsSpatially WesternEurope and 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 names "Western Europe" and WesternEurope
(termFormat ChineseLanguage WesternEurope "西欧") domainEnglishFormat.kif 62719-62719 termFormat ChineseLanguage, WesternEurope and "西欧"
(termFormat ChineseTraditionalLanguage WesternEurope "西歐") domainEnglishFormat.kif 62718-62718 termFormat ChineseTraditionalLanguage, WesternEurope and "西歐"
(termFormat EnglishLanguage WesternEurope "western europe") domainEnglishFormat.kif 62717-62717 termFormat EnglishLanguage, WesternEurope and "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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners