NorthAtlanticOcean |
appearance as argument number 1 |
(documentation NorthAtlanticOcean EnglishLanguage "NorthAtlanticOcean denotes the northern geographicSubregion of the AtlanticOcean.") | Geography.kif 4548-4550 | |
(externalImage NorthAtlanticOcean "http://upload.wikimedia.org/wikipedia/ commons/ 0/ 06/ Atlantic_Ocean.png") | pictureList.kif 2495-2495 | |
(geographicSubregion NorthAtlanticOcean AtlanticOcean) | Geography.kif 4544-4544 | geographicSubregion NorthAtlanticOcean and AtlanticOcean |
(geographicSubregion NorthAtlanticOcean NorthernHemisphere) | Geography.kif 4545-4545 | geographicSubregion NorthAtlanticOcean and NorthernHemisphere |
(geographicSubregion NorthAtlanticOcean WesternHemisphere) | Geography.kif 4546-4546 | geographicSubregion NorthAtlanticOcean and WesternHemisphere |
(instance NorthAtlanticOcean BodyOfWater) | Geography.kif 4540-4540 | NorthAtlanticOcean è un' istanza di BodyOfWater |
(instance NorthAtlanticOcean SaltWaterArea) | Geography.kif 4539-4539 | NorthAtlanticOcean è un' istanza di SuperficieAcquaticaSalata |
appearance as argument number 2 |
antecedent |
consequent |
(=> (and (instance ?H Hurricane) (eventLocated ?H ?P) (instance ?P GeographicArea) (or (located ?P ?SEA) (meetsSpatially ?P ?SEA))) (or (equal ?SEA NortheasternPacificOcean) (equal ?SEA NorthAtlanticOcean))) |
Weather.kif 737-747 |
|