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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - NorthAtlanticOcean
NorthAtlanticOcean

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


(documentation NorthAtlanticOcean EnglishLanguage "NorthAtlanticOcean denotes the northern geographicSubregion of the AtlanticOcean.") Geography.kif 4363-4365
(externalImage NorthAtlanticOcean "http://upload.wikimedia.org/wikipedia/ commons/ 0/ 06/ Atlantic_Ocean.png") pictureList.kif 2496-2496
(geographicSubregion NorthAtlanticOcean AtlanticOcean) Geography.kif 4359-4359
(geographicSubregion NorthAtlanticOcean NorthernHemisphere) Geography.kif 4360-4360
(geographicSubregion NorthAtlanticOcean WesternHemisphere) Geography.kif 4361-4361
(instance NorthAtlanticOcean BodyOfWater) Geography.kif 4355-4355
(instance NorthAtlanticOcean SaltWaterArea) Geography.kif 4354-4354

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


(connected GulfOfMexico NorthAtlanticOcean) Geography.kif 4960-4960
(meetsSpatially Delaware NorthAtlanticOcean) CountriesAndRegions.kif 919-919
(meetsSpatially FloridaUnitedStates NorthAtlanticOcean) CountriesAndRegions.kif 925-925
(meetsSpatially Georgia NorthAtlanticOcean) CountriesAndRegions.kif 931-931
(meetsSpatially Maine NorthAtlanticOcean) CountriesAndRegions.kif 979-979
(meetsSpatially Maryland NorthAtlanticOcean) CountriesAndRegions.kif 982-982
(meetsSpatially Massachusetts NorthAtlanticOcean) CountriesAndRegions.kif 990-990
(meetsSpatially NewHampshire NorthAtlanticOcean) CountriesAndRegions.kif 1036-1036
(meetsSpatially NewJersey NorthAtlanticOcean) CountriesAndRegions.kif 1042-1042
(meetsSpatially NewYorkState NorthAtlanticOcean) CountriesAndRegions.kif 1061-1061
(meetsSpatially NorthCarolina NorthAtlanticOcean) CountriesAndRegions.kif 1063-1063
(meetsSpatially SouthCarolina NorthAtlanticOcean) CountriesAndRegions.kif 1096-1096
(meetsSpatially Virginia NorthAtlanticOcean) CountriesAndRegions.kif 1134-1134
(names "North Atlantic Ocean" NorthAtlanticOcean) Geography.kif 4356-4356
(names "North Atlantic" NorthAtlanticOcean) Geography.kif 4357-4357
(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)))))
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