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 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 北大西洋大西洋geographic 次要地区
(geographicSubregion NorthAtlanticOcean NorthernHemisphere) Geography.kif 4444-4444 北大西洋北半球geographic 次要地区
(geographicSubregion NorthAtlanticOcean WesternHemisphere) Geography.kif 4445-4445 北大西洋西半球geographic 次要地区
(instance NorthAtlanticOcean BodyOfWater) Geography.kif 4439-4439 北大西洋水体instance
(instance NorthAtlanticOcean SaltWaterArea) Geography.kif 4438-4438 北大西洋盐水区instance

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


(connected GulfOfMexico NorthAtlanticOcean) Geography.kif 5074-5074 GulfOfMexico北大西洋connected
(meetsSpatially Delaware NorthAtlanticOcean) CountriesAndRegions.kif 919-919 Delaware 接上 北大西洋
(meetsSpatially FloridaUnitedStates NorthAtlanticOcean) CountriesAndRegions.kif 925-925 佛罗里达 接上 北大西洋
(meetsSpatially Georgia NorthAtlanticOcean) CountriesAndRegions.kif 931-931 格鲁吉亚 接上 北大西洋
(meetsSpatially Maine NorthAtlanticOcean) CountriesAndRegions.kif 979-979 Maine 接上 北大西洋
(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 SouthCarolina 接上 北大西洋
(meetsSpatially Virginia NorthAtlanticOcean) CountriesAndRegions.kif 1134-1134 弗吉尼亚州 接上 北大西洋
(names "North Atlantic Ocean" NorthAtlanticOcean) Geography.kif 4440-4440 北大西洋 的名 是 "North Atlantic Ocean"
(names "North Atlantic" NorthAtlanticOcean) Geography.kif 4441-4441 北大西洋 的名 是 "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