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

Formal Language: 



KB Term:  Term intersection
English Word: 

  NorthernHemisphere

Sigma KEE - NorthernHemisphere
NorthernHemisphere

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


(documentation NorthernHemisphere EnglishLanguage "The half of the Earth that lies above the equator.") Geography.kif 3473-3474
(externalImage NorthernHemisphere "http://upload.wikimedia.org/wikipedia/ commons/ e/ e4/ Northern_Hemisphere_LamAz.png") pictureList.kif 1871-1871
(instance NorthernHemisphere Hemisphere) Geography.kif 3472-3472 NorthernHemisphereHemisphereinstance では %n

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


(geographicSubregion ArcticOcean NorthernHemisphere) Geography.kif 4639-4639 geographicSubregion ArcticOcean and NorthernHemisphere
(geographicSubregion ArcticRegion NorthernHemisphere) Geography.kif 3581-3581 geographicSubregion ArcticRegion and NorthernHemisphere
(geographicSubregion CaribbeanRegion NorthernHemisphere) Geography.kif 232-232 geographicSubregion CaribbeanRegion and NorthernHemisphere
(geographicSubregion CentralAsia NorthernHemisphere) Geography.kif 257-257 geographicSubregion CentralAsia and NorthernHemisphere
(geographicSubregion CentralEurope NorthernHemisphere) Geography.kif 213-213 geographicSubregion CentralEurope and NorthernHemisphere
(geographicSubregion EasternAsia NorthernHemisphere) Geography.kif 260-260 geographicSubregion EasternAsia and NorthernHemisphere
(geographicSubregion EasternEurope NorthernHemisphere) Geography.kif 210-210 geographicSubregion EasternEurope and NorthernHemisphere
(geographicSubregion Europe NorthernHemisphere) Geography.kif 3544-3544 geographicSubregion Europe and NorthernHemisphere
(geographicSubregion MiddleAmerica NorthernHemisphere) Geography.kif 235-235 geographicSubregion MiddleAmerica and NorthernHemisphere
(geographicSubregion NorthAmerica NorthernHemisphere) Geography.kif 3528-3528 geographicSubregion NorthAmerica and NorthernHemisphere
(geographicSubregion NorthAtlanticOcean NorthernHemisphere) Geography.kif 4545-4545 geographicSubregion NorthAtlanticOcean and NorthernHemisphere
(geographicSubregion NorthPacificOcean NorthernHemisphere) Geography.kif 4577-4577 geographicSubregion NorthPacificOcean and NorthernHemisphere
(geographicSubregion NorthernAfrica NorthernHemisphere) Geography.kif 196-196 geographicSubregion NorthernAfrica and NorthernHemisphere
(geographicSubregion NorthernAsia NorthernHemisphere) Geography.kif 180-180 geographicSubregion NorthernAsia and NorthernHemisphere
(geographicSubregion NorthernEurope NorthernHemisphere) Geography.kif 216-216 geographicSubregion NorthernEurope and NorthernHemisphere
(geographicSubregion SoutheasternEurope NorthernHemisphere) Geography.kif 226-226 geographicSubregion SoutheasternEurope and NorthernHemisphere
(geographicSubregion SouthernEurope NorthernHemisphere) Geography.kif 219-219 geographicSubregion SouthernEurope and NorthernHemisphere
(geographicSubregion SouthwesternAsia NorthernHemisphere) Geography.kif 273-273 geographicSubregion SouthwesternAsia and NorthernHemisphere
(geographicSubregion SouthwesternEurope NorthernHemisphere) Geography.kif 230-230 geographicSubregion SouthwesternEurope and NorthernHemisphere
(geographicSubregion WesternEurope NorthernHemisphere) Geography.kif 223-223 geographicSubregion WesternEurope and NorthernHemisphere
(overlapsSpatially Africa NorthernHemisphere) Geography.kif 3523-3523 overlapsSpatially Africa and NorthernHemisphere
(overlapsSpatially Asia NorthernHemisphere) Geography.kif 3550-3550 overlapsSpatially Asia and NorthernHemisphere
(overlapsSpatially CentralAfrica NorthernHemisphere) Geography.kif 187-187 overlapsSpatially CentralAfrica and NorthernHemisphere
(overlapsSpatially EasternAfrica NorthernHemisphere) Geography.kif 191-191 overlapsSpatially EasternAfrica and NorthernHemisphere
(overlapsSpatially EasternSouthAmerica NorthernHemisphere) Geography.kif 242-242 overlapsSpatially EasternSouthAmerica and NorthernHemisphere

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 エンティティーHemisphereinstance では %n エンティティーNorthernHemisphereequal では %n エンティティーSouthernHemisphereequal では %n エンティティーEasternHemisphereequal では %n エンティティーWesternHemisphereequal では %n


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