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 geographicSubregion NorthwesternPacificOcean and NorthPacificOcean
(instance NorthwesternPacificOcean BodyOfWater) Geography.kif 4599-4599 NorthwesternPacificOcean è un' istanza di BodyOfWater
(instance NorthwesternPacificOcean SaltWaterArea) Geography.kif 4598-4598 NorthwesternPacificOcean è un' istanza di SuperficieAcquaticaSalata
(partlyLocated NorthwesternPacificOcean NorthernHemisphere) Geography.kif 4604-4604 NorthwesternPacificOcean è in parte localizzato in NorthernHemisphere
(partlyLocated NorthwesternPacificOcean WesternHemisphere) Geography.kif 4605-4605 NorthwesternPacificOcean è in parte localizzato in WesternHemisphere

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


(names "Northwestern Pacific Ocean" NorthwesternPacificOcean) Geography.kif 4600-4600 names "Northwestern Pacific Ocean" and NorthwesternPacificOcean
(names "Northwestern Pacific" NorthwesternPacificOcean) Geography.kif 4601-4601 names "Northwestern Pacific" and NorthwesternPacificOcean
(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