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 4607-4609
(geographicSubregion NorthwesternPacificOcean NorthPacificOcean) Geography.kif 4603-4603 Northwestern Pacific Ocean is a geographic subregion of north pacific ocean
(instance NorthwesternPacificOcean BodyOfWater) Geography.kif 4599-4599 Northwestern Pacific Ocean is an instance of body of water
(instance NorthwesternPacificOcean SaltWaterArea) Geography.kif 4598-4598 Northwestern Pacific Ocean is an instance of salt water area
(partlyLocated NorthwesternPacificOcean NorthernHemisphere) Geography.kif 4604-4604 Northwestern Pacific Ocean is partly located in northern hemisphere
(partlyLocated NorthwesternPacificOcean WesternHemisphere) Geography.kif 4605-4605 Northwestern Pacific Ocean is partly located in western hemisphere

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


(names "Northwestern Pacific Ocean" NorthwesternPacificOcean) Geography.kif 4600-4600 Northwestern Pacific Ocean has name "Northwestern Pacific Ocean"
(names "Northwestern Pacific" NorthwesternPacificOcean) Geography.kif 4601-4601 Northwestern Pacific Ocean has name "Northwestern Pacific"
(termFormat EnglishLanguage NorthwesternPacificOcean "Northwestern Pacific Ocean") domainEnglishFormat.kif 65249-65249

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


(=>
    (and
        (instance ?T Typhoon)
        (eventLocated ?T ?P)
        (instance ?P GeographicArea))
    (or
        (located ?P NorthwesternPacificOcean)
        (meetsSpatially ?P NorthwesternPacificOcean)))
Weather.kif 771-778


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