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 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 North atlantic ocean is a geographic subregion of atlantic ocean
(geographicSubregion NorthAtlanticOcean NorthernHemisphere) Geography.kif 4545-4545 North atlantic ocean is a geographic subregion of northern hemisphere
(geographicSubregion NorthAtlanticOcean WesternHemisphere) Geography.kif 4546-4546 North atlantic ocean is a geographic subregion of western hemisphere
(instance NorthAtlanticOcean BodyOfWater) Geography.kif 4540-4540 North atlantic ocean is an instance of body of water
(instance NorthAtlanticOcean SaltWaterArea) Geography.kif 4539-4539 North atlantic ocean is an instance of salt water area

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


(connected GulfOfMexico NorthAtlanticOcean) Geography.kif 5176-5176 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 4541-4541 North atlantic ocean has name "North Atlantic Ocean"
(names "North Atlantic" NorthAtlanticOcean) Geography.kif 4542-4542 North atlantic ocean has name "North Atlantic"
(termFormat ChineseLanguage NorthAtlanticOcean "北大西洋") domainEnglishFormat.kif 40967-40967
(termFormat ChineseTraditionalLanguage NorthAtlanticOcean "北大西洋") domainEnglishFormat.kif 40966-40966
(termFormat EnglishLanguage NorthAtlanticOcean "north atlantic ocean") domainEnglishFormat.kif 40965-40965

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

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


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