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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - NorthwesternPacificOcean
NorthwesternPacificOcean

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
(instance NorthwesternPacificOcean BodyOfWater) Geography.kif 4599-4599
(instance NorthwesternPacificOcean SaltWaterArea) Geography.kif 4598-4598
(partlyLocated NorthwesternPacificOcean NorthernHemisphere) Geography.kif 4604-4604
(partlyLocated NorthwesternPacificOcean WesternHemisphere) Geography.kif 4605-4605

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


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

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


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


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