TreeView Knowledge Base Browser - 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	北大西洋是大西洋的 geographic 次要地區
(geographicSubregion NorthAtlanticOcean NorthernHemisphere)	Geography.kif 4545-4545	北大西洋是北半球的 geographic 次要地區
(geographicSubregion NorthAtlanticOcean WesternHemisphere)	Geography.kif 4546-4546	北大西洋是西半球的 geographic 次要地區
(instance NorthAtlanticOcean BodyOfWater)	Geography.kif 4540-4540	例北大西洋 and 水體
(instance NorthAtlanticOcean SaltWaterArea)	Geography.kif 4539-4539	例北大西洋 and SaltWaterArea

appearance as argument number 2

(connected GulfOfMexico NorthAtlanticOcean)	Geography.kif 5176-5176	連接的 GulfOfMexico and 北大西洋
(meetsSpatially Delaware NorthAtlanticOcean)	CountriesAndRegions.kif 919-919	空間的符合 Delaware and 北大西洋
(meetsSpatially FloridaUnitedStates NorthAtlanticOcean)	CountriesAndRegions.kif 925-925	空間的符合佛羅里達 and 北大西洋
(meetsSpatially Georgia NorthAtlanticOcean)	CountriesAndRegions.kif 931-931	空間的符合格魯吉亞 and 北大西洋
(meetsSpatially Maine NorthAtlanticOcean)	CountriesAndRegions.kif 979-979	空間的符合 Maine and 北大西洋
(meetsSpatially Maryland NorthAtlanticOcean)	CountriesAndRegions.kif 982-982	空間的符合馬里蘭 and 北大西洋
(meetsSpatially Massachusetts NorthAtlanticOcean)	CountriesAndRegions.kif 990-990	空間的符合馬薩諸塞 and 北大西洋
(meetsSpatially NewHampshire NorthAtlanticOcean)	CountriesAndRegions.kif 1036-1036	空間的符合新罕布什爾 and 北大西洋
(meetsSpatially NewJersey NorthAtlanticOcean)	CountriesAndRegions.kif 1042-1042	空間的符合新澤西州美國 and 北大西洋
(meetsSpatially NewYorkState NorthAtlanticOcean)	CountriesAndRegions.kif 1061-1061	空間的符合紐約州 and 北大西洋
(meetsSpatially NorthCarolina NorthAtlanticOcean)	CountriesAndRegions.kif 1063-1063	空間的符合北卡羅來納 and 北大西洋
(meetsSpatially SouthCarolina NorthAtlanticOcean)	CountriesAndRegions.kif 1096-1096	空間的符合 SouthCarolina and 北大西洋
(meetsSpatially Virginia NorthAtlanticOcean)	CountriesAndRegions.kif 1134-1134	空間的符合弗吉尼亞州 and 北大西洋
(names "North Atlantic Ocean" NorthAtlanticOcean)	Geography.kif 4541-4541	名 "North Atlantic Ocean" and 北大西洋
(names "North Atlantic" NorthAtlanticOcean)	Geography.kif 4542-4542	名 "North Atlantic" and 北大西洋
(termFormat ChineseLanguage NorthAtlanticOcean "北大西洋")	domainEnglishFormat.kif 40965-40965
(termFormat ChineseTraditionalLanguage NorthAtlanticOcean "北大西洋")	domainEnglishFormat.kif 40964-40964
(termFormat EnglishLanguage NorthAtlanticOcean "north atlantic ocean")	domainEnglishFormat.kif 40963-40963

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

例 Process and TropicalCyclonicSystem 起源 Process and Object 例 Object and 北大西洋例 Object and 太平洋例 Object and 印度洋
Object DirectionalAttribute, RealNumber and 經度位於 Object and Object 例 DirectionalAttribute and DirectionalAttribute Object 是對於經度的 object 地理座標測量 RealNumber and 圓周角度的 region DirectionalAttribute 等於 DirectionalAttribute and 北等於 DirectionalAttribute and 南少於 RealNumber and 5.0

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

例 Process and 颶風 Process 是 located 在 Object 例 Object and GeographicArea 位於 Object and Object 空間的符合 Object and Object
等於 Object and NortheasternPacificOcean 等於 Object and 北大西洋

Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree

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

KB Term:			Term intersection

English Word: