NorthAtlanticOcean - Sigma Knowledge base Browser

appearance as argument number 1

(documentation NorthAtlanticOcean EnglishLanguage "NorthAtlanticOcean denotes the northern geographicSubregion of the AtlanticOcean.")	Geography.kif 4617-4619
(externalImage NorthAtlanticOcean "http://upload.wikimedia.org/wikipedia/ commons/ 0/ 06/ Atlantic_Ocean.png")	pictureList.kif 2494-2494
(geographicSubregion NorthAtlanticOcean AtlanticOcean)	Geography.kif 4613-4613	North atlantic ocean is a geographic subregion of atlantic ocean
(geographicSubregion NorthAtlanticOcean NorthernHemisphere)	Geography.kif 4614-4614	North atlantic ocean is a geographic subregion of northern hemisphere
(geographicSubregion NorthAtlanticOcean WesternHemisphere)	Geography.kif 4615-4615	North atlantic ocean is a geographic subregion of western hemisphere
(instance NorthAtlanticOcean BodyOfWater)	Geography.kif 4609-4609	North atlantic ocean is an instance of body of water
(instance NorthAtlanticOcean SaltWaterArea)	Geography.kif 4608-4608	North atlantic ocean is an instance of salt water area

appearance as argument number 2

(connected GulfOfMexico NorthAtlanticOcean)	Geography.kif 5245-5245	Gulf of mexico is connected to north atlantic ocean
(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 4610-4610	North atlantic ocean has name "North Atlantic Ocean"
(names "North Atlantic" NorthAtlanticOcean)	Geography.kif 4611-4611	North atlantic ocean has name "North Atlantic"
(termFormat ChineseLanguage NorthAtlanticOcean "北大西洋")	domainEnglishFormat.kif 40995-40995	North atlantic ocean has name "North Atlantic"
(termFormat ChineseTraditionalLanguage NorthAtlanticOcean "北大西洋")	domainEnglishFormat.kif 40994-40994	North atlantic ocean has name "North Atlantic"
(termFormat EnglishLanguage NorthAtlanticOcean "north atlantic ocean")	domainEnglishFormat.kif 40993-40993	North atlantic ocean has name "North Atlantic"

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 611-630

If a process is an instance of tropical cyclonic system and the process originates at an object and the object is an instance of north atlantic ocean or the object is an instance of pacific ocean or the object is an instance of indian ocean,
then there don't exist another object, a directional attribute,, , a real number and a longitude such that the other object is located at the object and the directional attribute is an instance of directional attribute and the other object is object geographic coordinates the region the directional attribute of the real number angular degree(s) for the longitude and the directional attribute is equal to north or the directional attribute is equal to south and the real number 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 NortheasternPacificOcean)
        (equal ?SEA NorthAtlanticOcean)))

Weather.kif 737-747

If a process is an instance of hurricane and the process is located at an object and the object is an instance of geographic area and the object is located at another object or the object meets the other object,
then the other object is equal to Northeastern Pacific ocean or the other object is equal to 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 3.0 is open source software produced by Articulate Software and its partners

KB Term:			Term intersection

English Word: