Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - NorthAtlanticOcean
NorthAtlanticOcean(north atlantic ocean)
North_Atlantic

appearance as argument number 1
-------------------------


(documentation NorthAtlanticOcean EnglishLanguage "NorthAtlanticOcean denotes the northern geographicSubregion of the AtlanticOcean.") Geography.kif 4447-4449
(externalImage NorthAtlanticOcean "http://upload.wikimedia.org/wikipedia/ commons/ 0/ 06/ Atlantic_Ocean.png") pictureList.kif 2496-2496
(geographicSubregion NorthAtlanticOcean AtlanticOcean) Geography.kif 4443-4443 North atlantic ocean is a geographic subregion of atlantic ocean
(geographicSubregion NorthAtlanticOcean NorthernHemisphere) Geography.kif 4444-4444 North atlantic ocean is a geographic subregion of northern hemisphere
(geographicSubregion NorthAtlanticOcean WesternHemisphere) Geography.kif 4445-4445 North atlantic ocean is a geographic subregion of western hemisphere
(instance NorthAtlanticOcean BodyOfWater) Geography.kif 4439-4439 North atlantic ocean is an instance of body of water
(instance NorthAtlanticOcean SaltWaterArea) Geography.kif 4438-4438 North atlantic ocean is an instance of salt water area

appearance as argument number 2
-------------------------


(connected GulfOfMexico NorthAtlanticOcean) Geography.kif 5074-5074 GulfOfMexico 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 SouthCarolina meets north atlantic ocean
(meetsSpatially Virginia NorthAtlanticOcean) CountriesAndRegions.kif 1134-1134 Virginia meets north atlantic ocean
(names "North Atlantic Ocean" NorthAtlanticOcean) Geography.kif 4440-4440 North atlantic ocean has name "North Atlantic Ocean"
(names "North Atlantic" NorthAtlanticOcean) Geography.kif 4441-4441 North atlantic ocean has name "North Atlantic"
(termFormat ChineseLanguage NorthAtlanticOcean "北大西洋") domainEnglishFormat.kif 40950-40950
(termFormat ChineseTraditionalLanguage NorthAtlanticOcean "北大西洋") domainEnglishFormat.kif 40949-40949
(termFormat EnglishLanguage NorthAtlanticOcean "north atlantic ocean") domainEnglishFormat.kif 40948-40948

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

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


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