NorthAtlanticOcean - Sigma Knowledge base Browser

appearance as argument number 1

(documentation NorthAtlanticOcean EnglishLanguage "NorthAtlanticOcean denotes the northern geographicSubregion of the AtlanticOcean.")	Geography.kif 4548-4550
(externalImage NorthAtlanticOcean "http://upload.wikimedia.org/wikipedia/ commons/ 0/ 06/ Atlantic_Ocean.png")	pictureList.kif 2495-2495
(geographicSubregion NorthAtlanticOcean AtlanticOcean)	Geography.kif 4544-4544	geographicSubregion NorthAtlanticOcean and AtlanticOcean
(geographicSubregion NorthAtlanticOcean NorthernHemisphere)	Geography.kif 4545-4545	geographicSubregion NorthAtlanticOcean and NorthernHemisphere
(geographicSubregion NorthAtlanticOcean WesternHemisphere)	Geography.kif 4546-4546	geographicSubregion NorthAtlanticOcean and WesternHemisphere
(instance NorthAtlanticOcean BodyOfWater)	Geography.kif 4540-4540	NorthAtlanticOcean e' uma instancia de BodyOfWater
(instance NorthAtlanticOcean SaltWaterArea)	Geography.kif 4539-4539	NorthAtlanticOcean e' uma instancia de Area Aquatica salgada

appearance as argument number 2

(connected GulfOfMexico NorthAtlanticOcean)	Geography.kif 5176-5176	GulfOfMexico e' conectado com NorthAtlanticOcean
(meetsSpatially Delaware NorthAtlanticOcean)	CountriesAndRegions.kif 919-919	Delaware encontra NorthAtlanticOcean
(meetsSpatially FloridaUnitedStates NorthAtlanticOcean)	CountriesAndRegions.kif 925-925	FloridaUnitedStates encontra NorthAtlanticOcean
(meetsSpatially Georgia NorthAtlanticOcean)	CountriesAndRegions.kif 931-931	Georgia encontra NorthAtlanticOcean
(meetsSpatially Maine NorthAtlanticOcean)	CountriesAndRegions.kif 979-979	Maine encontra NorthAtlanticOcean
(meetsSpatially Maryland NorthAtlanticOcean)	CountriesAndRegions.kif 982-982	Maryland encontra NorthAtlanticOcean
(meetsSpatially Massachusetts NorthAtlanticOcean)	CountriesAndRegions.kif 990-990	Massachusetts encontra NorthAtlanticOcean
(meetsSpatially NewHampshire NorthAtlanticOcean)	CountriesAndRegions.kif 1036-1036	NewHampshire encontra NorthAtlanticOcean
(meetsSpatially NewJersey NorthAtlanticOcean)	CountriesAndRegions.kif 1042-1042	NewJersey encontra NorthAtlanticOcean
(meetsSpatially NewYorkState NorthAtlanticOcean)	CountriesAndRegions.kif 1061-1061	NewYorkState encontra NorthAtlanticOcean
(meetsSpatially NorthCarolina NorthAtlanticOcean)	CountriesAndRegions.kif 1063-1063	NorthCarolina encontra NorthAtlanticOcean
(meetsSpatially SouthCarolina NorthAtlanticOcean)	CountriesAndRegions.kif 1096-1096	SouthCarolina encontra NorthAtlanticOcean
(meetsSpatially Virginia NorthAtlanticOcean)	CountriesAndRegions.kif 1134-1134	Virginia encontra NorthAtlanticOcean
(names "North Atlantic Ocean" NorthAtlanticOcean)	Geography.kif 4541-4541	NorthAtlanticOcean se chama nome "North Atlantic Ocean"
(names "North Atlantic" NorthAtlanticOcean)	Geography.kif 4542-4542	NorthAtlanticOcean se chama nome "North Atlantic"
(termFormat ChineseLanguage NorthAtlanticOcean "北大西洋")	domainEnglishFormat.kif 40965-40965
(termFormat ChineseTraditionalLanguage NorthAtlanticOcean "北大西洋")	domainEnglishFormat.kif 40964-40964
(termFormat EnglishLanguage NorthAtlanticOcean "north atlantic ocean")	domainEnglishFormat.kif 40963-40963

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 627-646

Processo e' uma instancia de TropicalCyclonicSystem Processo tem como origem Objeto Objeto e' uma instancia de NorthAtlanticOcean Objeto e' uma instancia de PacificOcean Objeto e' uma instancia de IndianOcean
Objeto Atributo Directional, Numero Real and Longitude Objeto e' situado em Objeto Atributo Directional e' uma instancia de Atributo Directional objectGeographicCoordinates Objeto, LatitudeFn Atributo Directional and Numero Real AngularDegree(s) and Longitude Atributo Directional e' igual a North Atributo Directional e' igual a South Numero Real e' menos que 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 753-763

Processo e' uma instancia de Hurricane eventLocated Processo and Objeto Objeto e' uma instancia de Area Geografica Objeto e' situado em Objeto Objeto encontra Objeto
Objeto e' igual a NortheasternPacificOcean Objeto e' igual a 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: