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


KB Term:  Term intersection
English Word: 

Sigma KEE - NortheasternPacificOcean
NortheasternPacificOcean(Northeastern Pacific ocean)

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


(instance NortheasternPacificOcean SaltWaterArea) Geography.kif 6127-6127 Northeastern Pacific ocean is an instance of salt water area
(instance NortheasternPacificOcean BodyOfWater) Geography.kif 6128-6128 Northeastern Pacific ocean is an instance of body of water
(geographicSubregion NortheasternPacificOcean NorthPacificOcean) Geography.kif 6132-6132 Northeastern Pacific ocean is a geographic subregion of north pacific ocean
(partlyLocated NortheasternPacificOcean NorthernHemisphere) Geography.kif 6133-6133 Northeastern Pacific ocean is partly located in northern hemisphere
(partlyLocated NortheasternPacificOcean EasternHemisphere) Geography.kif 6134-6134 Northeastern Pacific ocean is partly located in eastern hemisphere
(documentation NortheasternPacificOcean EnglishLanguage "NortheasternPacificOcean denotes the northeastern geographicSubregion of the NorthPacificOcean.") Geography.kif 6136-6138 Northeastern Pacific ocean is partly located in eastern hemisphere

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


(names "Northeastern Pacific Ocean" NortheasternPacificOcean) Geography.kif 6129-6129 Northeastern Pacific ocean has name "Northeastern Pacific Ocean"
(names "Northeastern Pacific" NortheasternPacificOcean) Geography.kif 6130-6130 Northeastern Pacific ocean has name "Northeastern Pacific"
(termFormat EnglishLanguage NortheasternPacificOcean "Northeastern Pacific ocean") domainEnglishFormat.kif 65247-65247 Northeastern Pacific ocean has name "Northeastern Pacific"

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


(=>
    (and
        (instance ?T Typhoon)
        (eventLocated ?T ?P)
        (instance ?P GeographicArea))
    (or
        (located ?P NortheasternPacificOcean)
        (meetsSpatially ?P NortheasternPacificOcean)))
Weather.kif 1212-1219 If X is an instance of typhoon, X is located at Y, and Y is an instance of geographic area, then Y is located at Northeastern Pacific ocean or Y meets Northeastern Pacific 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