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 3485-3486
(externalImage WesternHemisphere "http://upload.wikimedia.org/wikipedia/ commons/ 6/ 6c/ Western_Hemisphere_LamAz.png") pictureList.kif 2060-2060
(instance WesternHemisphere Hemisphere) Geography.kif 3484-3484 WesternHemisphere e' uma instancia de Hemisphere

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


(geographicSubregion CaribbeanRegion WesternHemisphere) Geography.kif 233-233 geographicSubregion CaribbeanRegion and WesternHemisphere
(geographicSubregion CentralSouthAmerica WesternHemisphere) Geography.kif 238-238 geographicSubregion CentralSouthAmerica and WesternHemisphere
(geographicSubregion EasternSouthAmerica WesternHemisphere) Geography.kif 241-241 geographicSubregion EasternSouthAmerica and WesternHemisphere
(geographicSubregion MiddleAmerica WesternHemisphere) Geography.kif 236-236 geographicSubregion MiddleAmerica and WesternHemisphere
(geographicSubregion MiddleEastRegion WesternHemisphere) Geography.kif 207-207 geographicSubregion MiddleEastRegion and WesternHemisphere
(geographicSubregion NorthAmerica WesternHemisphere) Geography.kif 3529-3529 geographicSubregion NorthAmerica and WesternHemisphere
(geographicSubregion NorthAtlanticOcean WesternHemisphere) Geography.kif 4546-4546 geographicSubregion NorthAtlanticOcean and WesternHemisphere
(geographicSubregion NorthernSouthAmerica WesternHemisphere) Geography.kif 245-245 geographicSubregion NorthernSouthAmerica and WesternHemisphere
(geographicSubregion NorthwestPassage WesternHemisphere) Transportation.kif 1667-1667 geographicSubregion NorthwestPassage and WesternHemisphere
(geographicSubregion SouthAmerica WesternHemisphere) Geography.kif 3535-3535 geographicSubregion SouthAmerica and WesternHemisphere
(geographicSubregion SouthernSouthAmerica WesternHemisphere) Geography.kif 249-249 geographicSubregion SouthernSouthAmerica and WesternHemisphere
(geographicSubregion WesternSouthAmerica WesternHemisphere) Geography.kif 252-252 geographicSubregion WesternSouthAmerica and WesternHemisphere
(overlapsSpatially Antarctica WesternHemisphere) Geography.kif 3541-3541 Antarctica engloba WesternHemisphere
(overlapsSpatially ArcticRegion WesternHemisphere) Geography.kif 3583-3583 ArcticRegion engloba WesternHemisphere
(overlapsSpatially Europe WesternHemisphere) Geography.kif 3546-3546 Europe engloba WesternHemisphere
(overlapsSpatially NorthernAfrica WesternHemisphere) Geography.kif 195-195 NorthernAfrica engloba WesternHemisphere
(overlapsSpatially Oceania WesternHemisphere) Geography.kif 3559-3559 Oceania engloba WesternHemisphere
(overlapsSpatially SouthwesternEurope WesternHemisphere) Geography.kif 229-229 SouthwesternEurope engloba WesternHemisphere
(overlapsSpatially Tropics WesternHemisphere) Geography.kif 3620-3620 Tropics engloba WesternHemisphere
(overlapsSpatially WesternAfrica WesternHemisphere) Geography.kif 202-202 WesternAfrica engloba WesternHemisphere
(overlapsSpatially WesternEurope WesternHemisphere) Geography.kif 222-222 WesternEurope engloba WesternHemisphere
(partlyLocated ArcticOcean WesternHemisphere) Geography.kif 4641-4641 ArcticOcean e' parcialmente localizado em WesternHemisphere
(partlyLocated NorthPacificOcean WesternHemisphere) Geography.kif 4579-4579 NorthPacificOcean e' parcialmente localizado em WesternHemisphere
(partlyLocated NorthwesternPacificOcean WesternHemisphere) Geography.kif 4605-4605 NorthwesternPacificOcean e' parcialmente localizado em WesternHemisphere
(partlyLocated SouthAtlanticOcean WesternHemisphere) Geography.kif 4559-4559 SouthAtlanticOcean e' parcialmente localizado em WesternHemisphere

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 3488-3494 Entidade e' uma instancia de Hemisphere Entidade e' igual a NorthernHemisphere Entidade e' igual a SouthernHemisphere Entidade e' igual a EasternHemisphere Entidade e' igual a WesternHemisphere


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