Browsing Interface : Welcome guest : log in 		[  Home |  Graph |  LogLearn |  Editor |  ]  KB:  Language: 
  Formal Language: 


KB Term:  Term intersection
English Word: 

  PacificOcean

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

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


(orientation PacificOcean PacificNorthwest West) Geography.kif 1486-1486 Pacific ocean is west of to Pacific Northwest
(orientation PacificOcean WesternNorthAmerica West) Geography.kif 1499-1499 Pacific ocean is west of to Western NorthAmerica
(orientation PacificOcean BritishColumbia West) Geography.kif 1525-1525 Pacific ocean is west of to British Columbia
(instance PacificOcean Ocean) Geography.kif 6108-6108 Pacific ocean is an instance of ocean
(documentation PacificOcean EnglishLanguage "PacificOcean represents the Pacific Ocean.") Geography.kif 6110-6111 Pacific ocean is an instance of ocean
(externalImage PacificOcean "http://articulatesoftware.com/SUMOpictures/ geography/ Country_Maps/ P/ Pacific_Ocean.png") pictureList.kif 644-644 Pacific ocean is an instance of ocean

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


(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
(meetsSpatially WesternNorthAmerica PacificOcean) Geography.kif 1508-1508 Western NorthAmerica meets pacific ocean
(meetsSpatially BritishColumbia PacificOcean) Geography.kif 1524-1524 British Columbia meets pacific ocean
(names "Pacific Ocean" PacificOcean) Geography.kif 6109-6109 Pacific ocean has name "Pacific Ocean"
(geographicSubregion NorthPacificOcean PacificOcean) Geography.kif 6118-6118 North pacific ocean is a geographic subregion of pacific ocean
(geographicSubregion SouthPacificOcean PacificOcean) Geography.kif 6158-6158 South pacific ocean is a geographic subregion of pacific ocean
(termFormat EnglishLanguage PacificOcean "pacific ocean") domainEnglishFormat.kif 43883-43883 South pacific ocean is a geographic subregion of pacific ocean
(termFormat ChineseTraditionalLanguage PacificOcean "太平洋") domainEnglishFormat.kif 43884-43884 South pacific ocean is a geographic subregion of pacific ocean
(termFormat ChineseLanguage PacificOcean "太平洋") domainEnglishFormat.kif 43885-43885 South pacific ocean is a geographic subregion of 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 1052-1071 If X is an instance of tropical cyclonic system, X originates at Y, and At least one of the following holds: (1) Y is an instance of north atlantic ocean (2) Y is an instance of pacific ocean (3) Y is an instance of indian ocean, then there don't exist Z, W,, , V and U such that Z is located at Y and W is an instance of directional attribute and Z is object geographic coordinates the region W of V angular degree(s) for U and equal W and north of or equal W and south of and V is less than 5.0
(=>
    (and
        (instance ?W CoastalChinookWind)
        (eventLocated ?W PacificNorthwest)
        (origin ?W PacificOcean))
    (orientation PacificOcean PacificNorthwest Upwind))		 Weather.kif 2138-2143 If X is an instance of coastal chinook wind, X is located at Pacific Northwest, and X originates at pacific ocean, then pacific ocean is upwind from to Pacific Northwest

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


(=>
    (and
        (instance ?E ElNinoSouthernOscillation)
        (origin ?E ?R))
    (and
        (located ?R Tropics)
        (geographicSubregion ?R PacificOcean)))		 Weather.kif 505-511 If X is an instance of el nino southern oscillation and X originates at Y, then Y is located at tropics and Y is a geographic subregion of pacific ocean
(=>
    (and
        (instance ?W CoastalChinookWind)
        (eventLocated ?W PacificNorthwest)
        (origin ?W PacificOcean))
    (orientation PacificOcean PacificNorthwest Upwind))		 Weather.kif 2138-2143 If X is an instance of coastal chinook wind, X is located at Pacific Northwest, and X originates at pacific ocean, then pacific ocean is upwind from to Pacific Northwest

statement
-------------------------


(orientation
    (SeacoastFn California PacificOcean) CaliforniaCoastRanges West)		 Geography.kif 440-441 The seacoast of california is west of to California Coast Ranges
(orientation
    (SeacoastFn California PacificOcean) CentralValleyCalifornia West)		 Geography.kif 1400-1402 The seacoast of california is west of to Central Valley California
(orientation
    (SeacoastFn SouthAmerica PacificOcean) AndesMountains West)		 Geography.kif 1433-1434 The seacoast of south america is west of to Andes Mountains


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.0-0a80e6c8 (2026-05-12) is open source software produced by Articulate Software and its partners