TreeView Knowledge Base Browser - NorthAtlanticOcean

appearance as argument number 1

(instance NorthAtlanticOcean SaltWaterArea)	Geography.kif 6081-6081	North atlantic ocean is an instance of salt water area
(instance NorthAtlanticOcean BodyOfWater)	Geography.kif 6082-6082	North atlantic ocean is an instance of body of water
(geographicSubregion NorthAtlanticOcean AtlanticOcean)	Geography.kif 6086-6086	North atlantic ocean is a geographic subregion of atlantic ocean
(geographicSubregion NorthAtlanticOcean NorthernHemisphere)	Geography.kif 6087-6087	North atlantic ocean is a geographic subregion of northern hemisphere
(geographicSubregion NorthAtlanticOcean WesternHemisphere)	Geography.kif 6088-6088	North atlantic ocean is a geographic subregion of western hemisphere
(documentation NorthAtlanticOcean EnglishLanguage "NorthAtlanticOcean denotes the northern geographicSubregion of the AtlanticOcean.")	Geography.kif 6090-6092	North atlantic ocean is a geographic subregion of western hemisphere
(externalImage NorthAtlanticOcean "http://upload.wikimedia.org/wikipedia/ commons/ 0/ 06/ Atlantic_Ocean.png")	pictureList.kif 2494-2494	North atlantic ocean is a geographic subregion of western hemisphere

appearance as argument number 2

(meetsSpatially Delaware NorthAtlanticOcean)	CountriesAndRegions.kif 919-919	Delaware meets north atlantic ocean
(meetsSpatially FloridaUnitedStates NorthAtlanticOcean)	CountriesAndRegions.kif 925-925	Florida meets north atlantic ocean
(meetsSpatially Georgia NorthAtlanticOcean)	CountriesAndRegions.kif 931-931	Georgia meets north atlantic ocean
(meetsSpatially Maine NorthAtlanticOcean)	CountriesAndRegions.kif 979-979	Maine meets north atlantic ocean
(meetsSpatially Maryland NorthAtlanticOcean)	CountriesAndRegions.kif 982-982	Maryland meets north atlantic ocean
(meetsSpatially Massachusetts NorthAtlanticOcean)	CountriesAndRegions.kif 990-990	Massachusetts meets north atlantic ocean
(meetsSpatially NewHampshire NorthAtlanticOcean)	CountriesAndRegions.kif 1036-1036	New hampshire meets north atlantic ocean
(meetsSpatially NewJersey NorthAtlanticOcean)	CountriesAndRegions.kif 1042-1042	New jersey united states meets north atlantic ocean
(meetsSpatially NewYorkState NorthAtlanticOcean)	CountriesAndRegions.kif 1061-1061	New york state meets north atlantic ocean
(meetsSpatially NorthCarolina NorthAtlanticOcean)	CountriesAndRegions.kif 1063-1063	North carolina meets north atlantic ocean
(meetsSpatially SouthCarolina NorthAtlanticOcean)	CountriesAndRegions.kif 1096-1096	South Carolina meets north atlantic ocean
(meetsSpatially Virginia NorthAtlanticOcean)	CountriesAndRegions.kif 1134-1134	Virginia meets north atlantic ocean
(names "North Atlantic Ocean" NorthAtlanticOcean)	Geography.kif 6083-6083	North atlantic ocean has name "North Atlantic Ocean"
(names "North Atlantic" NorthAtlanticOcean)	Geography.kif 6084-6084	North atlantic ocean has name "North Atlantic"
(connected GulfOfMexico NorthAtlanticOcean)	Geography.kif 6732-6732	Gulf of mexico is connected to north atlantic ocean
(termFormat EnglishLanguage NorthAtlanticOcean "north atlantic ocean")	domainEnglishFormat.kif 40969-40969	Gulf of mexico is connected to north atlantic ocean
(termFormat ChineseTraditionalLanguage NorthAtlanticOcean "北大西洋")	domainEnglishFormat.kif 40970-40970	Gulf of mexico is connected to north atlantic ocean
(termFormat ChineseLanguage NorthAtlanticOcean "北大西洋")	domainEnglishFormat.kif 40971-40971	Gulf of mexico is connected to north atlantic ocean

antecedent

(=>
    (and
        (instance ?TC TropicalCyclonicSystem)
        (origin ?TC ?SEA)
        (or
            (instance ?SEA NorthAtlanticOcean)
            (instance ?SEA PacificOcean)
            (instance ?SEA IndianOcean)))
    (not
        (exists (?AREA ?DIR ?NUM ?LONG)
            (and
                (located ?AREA ?SEA)
                (instance ?DIR DirectionalAttribute)
                (objectGeographicCoordinates ?AREA
                    (LatitudeFn ?DIR
                        (MeasureFn ?NUM AngularDegree)) ?LONG)
                (or
                    (equal ?DIR North)
                    (equal ?DIR South))
                (lessThan ?NUM 5.0)))))

Weather.kif 1052-1071

If X is an instance of tropical cyclonic system, X originates at Y, and At least one of the following holds: (1) Y is an instance of north atlantic ocean (2) Y is an instance of pacific ocean (3) Y is an instance of indian ocean, then there don't exist Z, W,, , V and U such that Z is located at Y and W is an instance of directional attribute and Z is object geographic coordinates the region W of V angular degree(s) for U and equal W and north of or equal W and south of and V is less than 5.0

consequent

(=>
    (and
        (instance ?H Hurricane)
        (eventLocated ?H ?P)
        (instance ?P GeographicArea)
        (or
            (located ?P ?SEA)
            (meetsSpatially ?P ?SEA)))
    (or
        (equal ?SEA NorthwesternPacificOcean)
        (equal ?SEA NorthAtlanticOcean)))

Weather.kif 1178-1188

If X is an instance of hurricane, X is located at Y, Y is an instance of geographic area, and Y is located at Z or Y meets Z, then equal Z and Northwestern Pacific Ocean or equal Z and north atlantic ocean

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.0-0a80e6c8 (2026-05-12) is open source software produced by Articulate Software and its partners

KB Term:			Term intersection

English Word: