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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - PacificOcean
PacificOcean

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


(documentation PacificOcean EnglishLanguage "PacificOcean represents the Pacific Ocean.") Geography.kif 4568-4569
(externalImage PacificOcean "http://articulatesoftware.com/SUMOpictures/ geography/ Country_Maps/ P/ Pacific_Ocean.png") pictureList.kif 644-644
(instance PacificOcean Ocean) Geography.kif 4566-4566 PacificOceanOceaninstance では %n

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


(geographicSubregion NorthPacificOcean PacificOcean) Geography.kif 4576-4576 geographicSubregion NorthPacificOcean and PacificOcean
(geographicSubregion SouthPacificOcean PacificOcean) Geography.kif 4616-4616 geographicSubregion SouthPacificOcean and PacificOcean
(meetsSpatially Alaska PacificOcean) CountriesAndRegions.kif 881-881 AlaskaPacificOceanmeets %n{ない}
(meetsSpatially California PacificOcean) CountriesAndRegions.kif 903-903 CaliforniaPacificOceanmeets %n{ない}
(meetsSpatially Hawaii PacificOcean) CountriesAndRegions.kif 936-936 HawaiiPacificOceanmeets %n{ない}
(meetsSpatially Oregon PacificOcean) CountriesAndRegions.kif 1082-1082 OregonPacificOceanmeets %n{ない}
(meetsSpatially Washington PacificOcean) CountriesAndRegions.kif 1141-1141 WashingtonPacificOceanmeets %n{ない}
(names "Pacific Ocean" PacificOcean) Geography.kif 4567-4567 PacificOcean は "Pacific Ocean" の name を 持って %n{ない}
(termFormat ChineseLanguage PacificOcean "太平洋") domainEnglishFormat.kif 43890-43890
(termFormat ChineseTraditionalLanguage PacificOcean "太平洋") domainEnglishFormat.kif 43889-43889
(termFormat EnglishLanguage PacificOcean "pacific ocean") domainEnglishFormat.kif 43888-43888

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 full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)



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