NorthAtlanticOcean - Sigma Knowledge base Browser

appearance as argument number 1

(documentation NorthAtlanticOcean EnglishLanguage "NorthAtlanticOcean denotes the northern geographicSubregion of the AtlanticOcean.")	Geography.kif 4788-4790
(externalImage NorthAtlanticOcean "http://upload.wikimedia.org/wikipedia/ commons/ 0/ 06/ Atlantic_Ocean.png")	pictureList.kif 2494-2494
(geographicSubregion NorthAtlanticOcean AtlanticOcean)	Geography.kif 4784-4784	geographicSubregion NorthAtlanticOcean and AtlanticOcean
(geographicSubregion NorthAtlanticOcean NorthernHemisphere)	Geography.kif 4785-4785	geographicSubregion NorthAtlanticOcean and NorthernHemisphere
(geographicSubregion NorthAtlanticOcean WesternHemisphere)	Geography.kif 4786-4786	geographicSubregion NorthAtlanticOcean and WesternHemisphere
(instance NorthAtlanticOcean BodyOfWater)	Geography.kif 4780-4780	NorthAtlanticOcean は BodyOfWater の instance では
(instance NorthAtlanticOcean SaltWaterArea)	Geography.kif 4779-4779	NorthAtlanticOcean は塩水地域の instance では

appearance as argument number 2

(connected GulfOfMexico NorthAtlanticOcean)	Geography.kif 5430-5430	GulfOfMexico は NorthAtlanticOcean と connected して
(meetsSpatially Delaware NorthAtlanticOcean)	CountriesAndRegions.kif 919-919	Delaware は NorthAtlanticOcean と meets
(meetsSpatially FloridaUnitedStates NorthAtlanticOcean)	CountriesAndRegions.kif 925-925	FloridaUnitedStates は NorthAtlanticOcean と meets
(meetsSpatially Georgia NorthAtlanticOcean)	CountriesAndRegions.kif 931-931	Georgia は NorthAtlanticOcean と meets
(meetsSpatially Maine NorthAtlanticOcean)	CountriesAndRegions.kif 979-979	Maine は NorthAtlanticOcean と meets
(meetsSpatially Maryland NorthAtlanticOcean)	CountriesAndRegions.kif 982-982	Maryland は NorthAtlanticOcean と meets
(meetsSpatially Massachusetts NorthAtlanticOcean)	CountriesAndRegions.kif 990-990	Massachusetts は NorthAtlanticOcean と meets
(meetsSpatially NewHampshire NorthAtlanticOcean)	CountriesAndRegions.kif 1036-1036	NewHampshire は NorthAtlanticOcean と meets
(meetsSpatially NewJersey NorthAtlanticOcean)	CountriesAndRegions.kif 1042-1042	NewJersey は NorthAtlanticOcean と meets
(meetsSpatially NewYorkState NorthAtlanticOcean)	CountriesAndRegions.kif 1061-1061	NewYorkState は NorthAtlanticOcean と meets
(meetsSpatially NorthCarolina NorthAtlanticOcean)	CountriesAndRegions.kif 1063-1063	NorthCarolina は NorthAtlanticOcean と meets
(meetsSpatially SouthCarolina NorthAtlanticOcean)	CountriesAndRegions.kif 1096-1096	SouthCarolina は NorthAtlanticOcean と meets
(meetsSpatially Virginia NorthAtlanticOcean)	CountriesAndRegions.kif 1134-1134	Virginia は NorthAtlanticOcean と meets
(names "North Atlantic Ocean" NorthAtlanticOcean)	Geography.kif 4781-4781	NorthAtlanticOcean は "North Atlantic Ocean" の &ames$"name" を持って
(names "North Atlantic" NorthAtlanticOcean)	Geography.kif 4782-4782	NorthAtlanticOcean は "North Atlantic" の &ames$"name" を持って
(termFormat ChineseLanguage NorthAtlanticOcean "北大西洋")	domainEnglishFormat.kif 40978-40978	NorthAtlanticOcean は "North Atlantic" の &ames$"name" を持って
(termFormat ChineseTraditionalLanguage NorthAtlanticOcean "北大西洋")	domainEnglishFormat.kif 40977-40977	NorthAtlanticOcean は "North Atlantic" の &ames$"name" を持って
(termFormat EnglishLanguage NorthAtlanticOcean "north atlantic ocean")	domainEnglishFormat.kif 40976-40976	NorthAtlanticOcean は "North Atlantic" の &ames$"name" を持って

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

工程は TropicalCyclonicSystem の instance では工程はオブジェクトから originates オブジェクトは NorthAtlanticOcean の instance ではオブジェクトは PacificOcean の instance ではオブジェクトは IndianOcean の instance では
オブジェクト方向属性, 実数 and Longitude オブジェクトはオブジェクトに located して方向属性は方向属性の instance では objectGeographicCoordinates オブジェクト, LatitudeFn 方向属性 and 実数の AngularDegree(s) and Longitude equal 方向属性 and North equal 方向属性 and South 実数は 5.0 より less では

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 737-747

工程は Hurricane の instance では eventLocated 工程 and オブジェクトオブジェクトは地理的地域の instance ではオブジェクトはオブジェクトに located してオブジェクトはオブジェクトと meets
equal オブジェクト and NorthwesternPacificOcean equal オブジェクト and NorthAtlanticOcean

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: