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

Formal Language: 

KB Term:  Term intersection
English Word: 


Sigma KEE - NortheasternPacificOcean

appearance as argument number 1

(documentation NortheasternPacificOcean EnglishLanguage "NortheasternPacificOcean denotes the northeastern geographicSubregion of the NorthPacificOcean.") Geography.kif 4501-4503
(geographicSubregion NortheasternPacificOcean NorthPacificOcean) Geography.kif 4497-4497
(instance NortheasternPacificOcean BodyOfWater) Geography.kif 4493-4493
(instance NortheasternPacificOcean SaltWaterArea) Geography.kif 4492-4492
(partlyLocated NortheasternPacificOcean EasternHemisphere) Geography.kif 4499-4499
(partlyLocated NortheasternPacificOcean NorthernHemisphere) Geography.kif 4498-4498

appearance as argument number 2

(names "Northeastern Pacific Ocean" NortheasternPacificOcean) Geography.kif 4494-4494
(names "Northeastern Pacific" NortheasternPacificOcean) Geography.kif 4495-4495
(termFormat EnglishLanguage NortheasternPacificOcean "Northeastern Pacific ocean") domainEnglishFormat.kif 65256-65256


        (instance ?H Hurricane)
        (eventLocated ?H ?P)
        (instance ?P GeographicArea)
            (located ?P ?SEA)
            (meetsSpatially ?P ?SEA)))
        (equal ?SEA NortheasternPacificOcean)
        (equal ?SEA NorthAtlanticOcean)))
Weather.kif 753-763

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