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

Formal Language: 



KB Term:  Term intersection
English Word: 

  WesternHemisphere

Sigma KEE - WesternHemisphere
WesternHemisphere

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


(documentation WesternHemisphere EnglishLanguage "The half of the Earth that includes North and South America.") Geography.kif 3390-3391
(externalImage WesternHemisphere "http://upload.wikimedia.org/wikipedia/ commons/ 6/ 6c/ Western_Hemisphere_LamAz.png") pictureList.kif 2061-2061
(instance WesternHemisphere Hemisphere) Geography.kif 3389-3389

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


(geographicSubregion CaribbeanRegion WesternHemisphere) Geography.kif 233-233
(geographicSubregion CentralSouthAmerica WesternHemisphere) Geography.kif 238-238
(geographicSubregion EasternSouthAmerica WesternHemisphere) Geography.kif 241-241
(geographicSubregion MiddleAmerica WesternHemisphere) Geography.kif 236-236
(geographicSubregion MiddleEastRegion WesternHemisphere) Geography.kif 207-207
(geographicSubregion NorthAmerica WesternHemisphere) Geography.kif 3434-3434
(geographicSubregion NorthAtlanticOcean WesternHemisphere) Geography.kif 4385-4385
(geographicSubregion NorthernSouthAmerica WesternHemisphere) Geography.kif 245-245
(geographicSubregion NorthwestPassage WesternHemisphere) Transportation.kif 1667-1667
(geographicSubregion SouthAmerica WesternHemisphere) Geography.kif 3440-3440
(geographicSubregion SouthernSouthAmerica WesternHemisphere) Geography.kif 249-249
(geographicSubregion WesternSouthAmerica WesternHemisphere) Geography.kif 252-252
(overlapsSpatially Antarctica WesternHemisphere) Geography.kif 3446-3446
(overlapsSpatially ArcticRegion WesternHemisphere) Geography.kif 3488-3488
(overlapsSpatially Europe WesternHemisphere) Geography.kif 3451-3451
(overlapsSpatially NorthernAfrica WesternHemisphere) Geography.kif 195-195
(overlapsSpatially Oceania WesternHemisphere) Geography.kif 3464-3464
(overlapsSpatially SouthwesternEurope WesternHemisphere) Geography.kif 229-229
(overlapsSpatially Tropics WesternHemisphere) Geography.kif 3525-3525
(overlapsSpatially WesternAfrica WesternHemisphere) Geography.kif 202-202
(overlapsSpatially WesternEurope WesternHemisphere) Geography.kif 222-222
(partlyLocated ArcticOcean WesternHemisphere) Geography.kif 4480-4480
(partlyLocated NorthPacificOcean WesternHemisphere) Geography.kif 4418-4418
(partlyLocated NorthwesternPacificOcean WesternHemisphere) Geography.kif 4444-4444
(partlyLocated SouthAtlanticOcean WesternHemisphere) Geography.kif 4398-4398

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

consequent
-------------------------


(<=>
    (instance ?HEMISPHERE Hemisphere)
    (or
        (equal ?HEMISPHERE NorthernHemisphere)
        (equal ?HEMISPHERE SouthernHemisphere)
        (equal ?HEMISPHERE EasternHemisphere)
        (equal ?HEMISPHERE WesternHemisphere)))
Geography.kif 3393-3399


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