Browsing Interface
: Welcome guest :
log in
[
Home
| 
Graph
|  ]
KB:
SUMO
Language:
AlbanianLanguage
ArabicLanguage
BasqueLanguage
BulgarianLanguage
CatalanLanguage
ChineseLanguage
ChineseTraditionalLanguage
CroatianLanguage
DanishLanguage
Defrauding
EnglishLanguage
FarsiLanguage
FinnishLanguage
FrenchLanguage
GalicianLanguage
GermanLanguage
GreekLanguage
Haboob
HebrewLanguage
IcelandicLanguage
IndonesianLanguage
ItalianLanguage
JapaneseLanguage
MalayLanguage
NorwegianBokmalLanguage
NorwegianNorskLanguage
PolishLanguage
PortugueseLanguage
SpanishLanguage
SwedishLanguage
TaiwanChineseLanguage
ThaiLanguage
Formal Language:
OWL
SUO-KIF
TPTP
traditionalLogic
KB Term:
Term intersection
English Word:
Any
Noun
Verb
Adjective
Adverb
Sigma KEE - NorthAtlanticOcean
NorthAtlanticOcean
appearance as argument number 1
(
documentation
NorthAtlanticOcean
EnglishLanguage
"
NorthAtlanticOcean
denotes the northern
geographicSubregion
of the
AtlanticOcean
.")
Geography.kif 4304-4306
(
externalImage
NorthAtlanticOcean
"http://upload.wikimedia.org/wikipedia/ commons/ 0/ 06/ Atlantic_Ocean.png")
pictureList.kif 2496-2496
externalImage
NorthAtlanticOcean
and "http://upload.wikimedia.org/wikipedia/commons/0/06/ Atlantic_Ocean.png"
(
geographicSubregion
NorthAtlanticOcean
AtlanticOcean
)
Geography.kif 4300-4300
geographicSubregion
NorthAtlanticOcean
and
AtlanticOcean
(
geographicSubregion
NorthAtlanticOcean
NorthernHemisphere
)
Geography.kif 4301-4301
geographicSubregion
NorthAtlanticOcean
and
NorthernHemisphere
(
geographicSubregion
NorthAtlanticOcean
WesternHemisphere
)
Geography.kif 4302-4302
geographicSubregion
NorthAtlanticOcean
and
WesternHemisphere
(
instance
NorthAtlanticOcean
BodyOfWater
)
Geography.kif 4296-4296
instance
NorthAtlanticOcean
and
BodyOfWater
(
instance
NorthAtlanticOcean
SaltWaterArea
)
Geography.kif 4295-4295
instance
NorthAtlanticOcean
and
SaltWaterArea
appearance as argument number 2
(
connected
GulfOfMexico
NorthAtlanticOcean
)
Geography.kif 4854-4854
connected
GulfOfMexico
and
NorthAtlanticOcean
(
meetsSpatially
Delaware
NorthAtlanticOcean
)
CountriesAndRegions.kif 919-919
meetsSpatially
Delaware
and
NorthAtlanticOcean
(
meetsSpatially
FloridaUnitedStates
NorthAtlanticOcean
)
CountriesAndRegions.kif 925-925
meetsSpatially
FloridaUnitedStates
and
NorthAtlanticOcean
(
meetsSpatially
Georgia
NorthAtlanticOcean
)
CountriesAndRegions.kif 931-931
meetsSpatially
Georgia
and
NorthAtlanticOcean
(
meetsSpatially
Maine
NorthAtlanticOcean
)
CountriesAndRegions.kif 979-979
meetsSpatially
Maine
and
NorthAtlanticOcean
(
meetsSpatially
Maryland
NorthAtlanticOcean
)
CountriesAndRegions.kif 982-982
meetsSpatially
Maryland
and
NorthAtlanticOcean
(
meetsSpatially
Massachusetts
NorthAtlanticOcean
)
CountriesAndRegions.kif 990-990
meetsSpatially
Massachusetts
and
NorthAtlanticOcean
(
meetsSpatially
NewHampshire
NorthAtlanticOcean
)
CountriesAndRegions.kif 1036-1036
meetsSpatially
NewHampshire
and
NorthAtlanticOcean
(
meetsSpatially
NewJersey
NorthAtlanticOcean
)
CountriesAndRegions.kif 1042-1042
meetsSpatially
NewJersey
and
NorthAtlanticOcean
(
meetsSpatially
NewYorkState
NorthAtlanticOcean
)
CountriesAndRegions.kif 1061-1061
meetsSpatially
NewYorkState
and
NorthAtlanticOcean
(
meetsSpatially
NorthCarolina
NorthAtlanticOcean
)
CountriesAndRegions.kif 1063-1063
meetsSpatially
NorthCarolina
and
NorthAtlanticOcean
(
meetsSpatially
SouthCarolina
NorthAtlanticOcean
)
CountriesAndRegions.kif 1096-1096
meetsSpatially
SouthCarolina
and
NorthAtlanticOcean
(
meetsSpatially
Virginia
NorthAtlanticOcean
)
CountriesAndRegions.kif 1134-1134
meetsSpatially
Virginia
and
NorthAtlanticOcean
(
names
"North Atlantic Ocean"
NorthAtlanticOcean
)
Geography.kif 4297-4297
names
"North Atlantic Ocean" and
NorthAtlanticOcean
(
names
"North Atlantic"
NorthAtlanticOcean
)
Geography.kif 4298-4298
names
"North Atlantic" and
NorthAtlanticOcean
(
termFormat
ChineseLanguage
NorthAtlanticOcean
"北大西洋")
domainEnglishFormat.kif 40885-40885
termFormat
ChineseLanguage
,
NorthAtlanticOcean
and "北大西洋"
(
termFormat
ChineseTraditionalLanguage
NorthAtlanticOcean
"北大西洋")
domainEnglishFormat.kif 40884-40884
termFormat
ChineseTraditionalLanguage
,
NorthAtlanticOcean
and "北大西洋"
(
termFormat
EnglishLanguage
NorthAtlanticOcean
"north atlantic ocean")
domainEnglishFormat.kif 40883-40883
termFormat
EnglishLanguage
,
NorthAtlanticOcean
and "north atlantic ocean"
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 2.99c (>= 2017/11/20) is
open source software
produced by
Articulate Software
and its partners