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

Formal Language: 


KB Term:  Term intersection
English Word: 

Sigma KEE - NorthernHemisphere
NorthernHemisphere

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


(documentation NorthernHemisphere EnglishLanguage "The half of the Earth that lies above the equator.") Geography.kif 3631-3632
(externalImage NorthernHemisphere "http://upload.wikimedia.org/wikipedia/ commons/ e/ e4/ Northern_Hemisphere_LamAz.png") pictureList.kif 1870-1870
(instance NorthernHemisphere Hemisphere) Geography.kif 3630-3630 NorthernHemisphere は Hemisphere の instance では

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


(geographicSubregion ArcticOcean NorthernHemisphere) Geography.kif 4879-4879 geographicSubregion ArcticOcean and NorthernHemisphere
(geographicSubregion ArcticRegion NorthernHemisphere) Geography.kif 3739-3739 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 3702-3702 geographicSubregion Europe and NorthernHemisphere
(geographicSubregion MiddleAmerica NorthernHemisphere) Geography.kif 235-235 geographicSubregion MiddleAmerica and NorthernHemisphere
(geographicSubregion NorthAmerica NorthernHemisphere) Geography.kif 3686-3686 geographicSubregion NorthAmerica and NorthernHemisphere
(geographicSubregion NorthAtlanticOcean NorthernHemisphere) Geography.kif 4785-4785 geographicSubregion NorthAtlanticOcean and NorthernHemisphere
(geographicSubregion NorthPacificOcean NorthernHemisphere) Geography.kif 4817-4817 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 3681-3681 overlapsSpatially Africa and NorthernHemisphere
(overlapsSpatially Asia NorthernHemisphere) Geography.kif 3708-3708 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 3646-3652 エンティティー は Hemisphere の instance では equal エンティティー and NorthernHemisphere equal エンティティー and SouthernHemisphere equal エンティティー and EasternHemisphere equal エンティティー and WesternHemisphere


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