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

Formal Language: 


KB Term:  Term intersection
English Word: 

Sigma KEE - PacificOcean
PacificOcean(pacific ocean)
Pacific, Pacific_Ocean

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


(documentation PacificOcean EnglishLanguage "PacificOcean represents the Pacific Ocean.") Geography.kif 4808-4809
(externalImage PacificOcean "http://articulatesoftware.com/SUMOpictures/ geography/ Country_Maps/ P/ Pacific_Ocean.png") pictureList.kif 644-644
(instance PacificOcean Ocean) Geography.kif 4806-4806 Pacific ocean is an instance of ocean
(orientation PacificOcean BritishColumbia West) Geography.kif 446-446 Pacific ocean is west to British Columbia
(orientation PacificOcean PacificNorthwest West) Geography.kif 407-407 Pacific ocean is west to Pacific Northwest
(orientation PacificOcean WesternNorthAmerica West) Geography.kif 420-420 Pacific ocean is west to Western NorthAmerica

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


(geographicSubregion NorthPacificOcean PacificOcean) Geography.kif 4816-4816 North pacific ocean is a geographic subregion of pacific ocean
(geographicSubregion SouthPacificOcean PacificOcean) Geography.kif 4856-4856 South pacific ocean is a geographic subregion of pacific ocean
(meetsSpatially Alaska PacificOcean) CountriesAndRegions.kif 881-881 Alaska meets pacific ocean
(meetsSpatially BritishColumbia PacificOcean) Geography.kif 445-445 British Columbia 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
(meetsSpatially WesternNorthAmerica PacificOcean) Geography.kif 429-429 Western NorthAmerica meets pacific ocean
(names "Pacific Ocean" PacificOcean) Geography.kif 4807-4807 Pacific ocean has &ames$"name" "Pacific Ocean"
(termFormat ChineseLanguage PacificOcean "太平洋") domainEnglishFormat.kif 43892-43892 Pacific ocean has &ames$"name" "Pacific Ocean"
(termFormat ChineseTraditionalLanguage PacificOcean "太平洋") domainEnglishFormat.kif 43891-43891 Pacific ocean has &ames$"name" "Pacific Ocean"
(termFormat EnglishLanguage PacificOcean "pacific ocean") domainEnglishFormat.kif 43890-43890 Pacific ocean has &ames$"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
(=>
    (and
        (instance ?W CoastalChinookWind)
        (eventLocated ?W PacificNorthwest)
        (origin ?W PacificOcean))
    (orientation PacificOcean PacificNorthwest Upwind))
Weather.kif 1693-1698

consequent
-------------------------


(=>
    (and
        (instance ?W CoastalChinookWind)
        (eventLocated ?W PacificNorthwest)
        (origin ?W PacificOcean))
    (orientation PacificOcean PacificNorthwest Upwind))
Weather.kif 1693-1698