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 西欧欧洲geographic 次要地区
(geographicSubregion WesternEurope NorthernHemisphere) Geography.kif 223-223 西欧北半球geographic 次要地区
(instance WesternEurope GeographicArea) Geography.kif 88-88 西欧地理区域instance
(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 比利时西欧geographic 次要地区
(geographicSubregion France WesternEurope) CountriesAndRegions.kif 350-350 法国西欧geographic 次要地区
(geographicSubregion Guernsey WesternEurope) CountriesAndRegions.kif 352-352 根西岛西欧geographic 次要地区
(geographicSubregion Ireland WesternEurope) CountriesAndRegions.kif 353-353 爱尔兰西欧geographic 次要地区
(geographicSubregion IsleOfMan WesternEurope) CountriesAndRegions.kif 358-358 人岛西欧geographic 次要地区
(geographicSubregion Jersey WesternEurope) CountriesAndRegions.kif 355-355 球衣西欧geographic 次要地区
(geographicSubregion Luxembourg WesternEurope) CountriesAndRegions.kif 356-356 卢森堡西欧geographic 次要地区
(geographicSubregion Monaco WesternEurope) CountriesAndRegions.kif 359-359 摩纳哥西欧geographic 次要地区
(geographicSubregion Netherlands WesternEurope) CountriesAndRegions.kif 361-361 荷兰西欧geographic 次要地区
(geographicSubregion UnitedKingdom WesternEurope) CountriesAndRegions.kif 363-363 英国西欧geographic 次要地区
(names "Western Europe" WesternEurope) Geography.kif 118-118 西欧 的名 是 "Western Europe"
(termFormat ChineseLanguage WesternEurope "西欧") domainEnglishFormat.kif 62742-62742
(termFormat ChineseTraditionalLanguage WesternEurope "西歐") domainEnglishFormat.kif 62741-62741
(termFormat EnglishLanguage WesternEurope "western europe") domainEnglishFormat.kif 62740-62740

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