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


KB Term:  Term intersection
English Word: 

Sigma KEE - NorthwesternPacificOcean
NorthwesternPacificOcean(Northwestern Pacific Ocean)

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


(instance NorthwesternPacificOcean SaltWaterArea) Geography.kif 6140-6140 Northwestern Pacific Ocean is an instance of salt water area
(instance NorthwesternPacificOcean BodyOfWater) Geography.kif 6141-6141 Northwestern Pacific Ocean is an instance of body of water
(geographicSubregion NorthwesternPacificOcean NorthPacificOcean) Geography.kif 6145-6145 Northwestern Pacific Ocean is a geographic subregion of north pacific ocean
(partlyLocated NorthwesternPacificOcean NorthernHemisphere) Geography.kif 6146-6146 Northwestern Pacific Ocean is partly located in northern hemisphere
(partlyLocated NorthwesternPacificOcean WesternHemisphere) Geography.kif 6147-6147 Northwestern Pacific Ocean is partly located in western hemisphere
(documentation NorthwesternPacificOcean EnglishLanguage "NorthwesternPacificOcean denotes the northwestern geographicSubregion of the NorthPacificOcean.") Geography.kif 6149-6151 Northwestern Pacific Ocean is partly located in western hemisphere

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


(names "Northwestern Pacific Ocean" NorthwesternPacificOcean) Geography.kif 6142-6142 Northwestern Pacific Ocean has name "Northwestern Pacific Ocean"
(names "Northwestern Pacific" NorthwesternPacificOcean) Geography.kif 6143-6143 Northwestern Pacific Ocean has name "Northwestern Pacific"
(termFormat EnglishLanguage NorthwesternPacificOcean "Northwestern Pacific Ocean") domainEnglishFormat.kif 65250-65250 Northwestern Pacific Ocean has name "Northwestern Pacific"

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


(=>
    (and
        (instance ?H Hurricane)
        (eventLocated ?H ?P)
        (instance ?P GeographicArea)
        (or
            (located ?P ?SEA)
            (meetsSpatially ?P ?SEA)))
    (or
        (equal ?SEA NorthwesternPacificOcean)
        (equal ?SEA NorthAtlanticOcean)))
Weather.kif 1178-1188 If X is an instance of hurricane, X is located at Y, Y is an instance of geographic area, and Y is located at Z or Y meets Z, then equal Z and Northwestern Pacific Ocean or equal Z and north atlantic ocean


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