PacificOcean - Sigma Knowledge base Browser

appearance as argument number 1

(documentation PacificOcean EnglishLanguage "PacificOcean represents the Pacific Ocean.")	Geography.kif 4637-4638
(externalImage PacificOcean "http://articulatesoftware.com/SUMOpictures/ geography/ Country_Maps/ P/ Pacific_Ocean.png")	pictureList.kif 644-644
(instance PacificOcean Ocean)	Geography.kif 4635-4635	Pacific ocean is an instance of ocean

appearance as argument number 2

(geographicSubregion NorthPacificOcean PacificOcean)	Geography.kif 4645-4645	North pacific ocean is a geographic subregion of pacific ocean
(geographicSubregion SouthPacificOcean PacificOcean)	Geography.kif 4685-4685	South pacific ocean is a geographic subregion of pacific ocean
(meetsSpatially Alaska PacificOcean)	CountriesAndRegions.kif 881-881	Alaska meets pacific ocean
(meetsSpatially California PacificOcean)	CountriesAndRegions.kif 903-903	California meets pacific ocean
(meetsSpatially Hawaii PacificOcean)	CountriesAndRegions.kif 936-936	Hawaii meets pacific ocean
(meetsSpatially Oregon PacificOcean)	CountriesAndRegions.kif 1082-1082	Oregon meets pacific ocean
(meetsSpatially Washington PacificOcean)	CountriesAndRegions.kif 1141-1141	Washington meets pacific ocean
(names "Pacific Ocean" PacificOcean)	Geography.kif 4636-4636	Pacific ocean has name "Pacific Ocean"
(termFormat ChineseLanguage PacificOcean "太平洋")	domainEnglishFormat.kif 43921-43921	Pacific ocean has name "Pacific Ocean"
(termFormat ChineseTraditionalLanguage PacificOcean "太平洋")	domainEnglishFormat.kif 43920-43920	Pacific ocean has name "Pacific Ocean"
(termFormat EnglishLanguage PacificOcean "pacific ocean")	domainEnglishFormat.kif 43919-43919	Pacific ocean has name "Pacific Ocean"

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