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

Formal Language: 


KB Term:  Term intersection
English Word: 

Sigma KEE - NorthwesternPacificOcean
NorthwesternPacificOcean(Northwestern Pacific Ocean)

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


(documentation NorthwesternPacificOcean EnglishLanguage "NorthwesternPacificOcean denotes the northwestern geographicSubregion of the NorthPacificOcean.") Geography.kif 4814-4816
(geographicSubregion NorthwesternPacificOcean NorthPacificOcean) Geography.kif 4810-4810 Northwestern Pacific Ocean is a geographic subregion of north pacific ocean
(instance NorthwesternPacificOcean BodyOfWater) Geography.kif 4806-4806 Northwestern Pacific Ocean is an instance of body of water
(instance NorthwesternPacificOcean SaltWaterArea) Geography.kif 4805-4805 Northwestern Pacific Ocean is an instance of salt water area
(partlyLocated NorthwesternPacificOcean NorthernHemisphere) Geography.kif 4811-4811 Northwestern Pacific Ocean is partly located in northern hemisphere
(partlyLocated NorthwesternPacificOcean WesternHemisphere) Geography.kif 4812-4812 Northwestern Pacific Ocean is partly located in western hemisphere

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


(names "Northwestern Pacific Ocean" NorthwesternPacificOcean) Geography.kif 4807-4807 Northwestern Pacific Ocean has &ames$"name" "Northwestern Pacific Ocean"
(names "Northwestern Pacific" NorthwesternPacificOcean) Geography.kif 4808-4808 Northwestern Pacific Ocean has &ames$"name" "Northwestern Pacific"
(termFormat EnglishLanguage NorthwesternPacificOcean "Northwestern Pacific Ocean") domainEnglishFormat.kif 65241-65241 Northwestern Pacific Ocean has &ames$"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 737-747


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