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 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 è un' istanza di BodyOfWater
(instance NorthAtlanticOcean SaltWaterArea) Geography.kif 4539-4539 NorthAtlanticOcean è un' istanza di SuperficieAcquaticaSalata

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


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