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

Formal Language: 



KB Term:  Term intersection
English Word: 

  PacificOcean

Sigma KEE - PacificOcean
PacificOcean

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


(documentation PacificOcean EnglishLanguage "PacificOcean represents the Pacific Ocean.") Geography.kif 4478-4479
(externalImage PacificOcean "http://www.adampease.org/Articulate/SUMOpictures/ pictures/ geography/ Country_Maps/ P/ Pacific_Ocean.png") pictureList.kif 644-644
(instance PacificOcean Ocean) Geography.kif 4476-4476

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


(geographicSubregion NorthPacificOcean PacificOcean) Geography.kif 4486-4486
(geographicSubregion SouthPacificOcean PacificOcean) Geography.kif 4526-4526
(meetsSpatially Alaska PacificOcean) CountriesAndRegions.kif 881-881
(meetsSpatially California PacificOcean) CountriesAndRegions.kif 903-903
(meetsSpatially Hawaii PacificOcean) CountriesAndRegions.kif 936-936
(meetsSpatially Oregon PacificOcean) CountriesAndRegions.kif 1082-1082
(meetsSpatially Washington PacificOcean) CountriesAndRegions.kif 1141-1141
(names "Pacific Ocean" PacificOcean) Geography.kif 4477-4477
(termFormat ChineseLanguage PacificOcean "太平洋") domainEnglishFormat.kif 43874-43874
(termFormat ChineseTraditionalLanguage PacificOcean "太平洋") domainEnglishFormat.kif 43873-43873
(termFormat EnglishLanguage PacificOcean "pacific ocean") domainEnglishFormat.kif 43872-43872

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


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