| Oceania(oceania)
| | Oceania, Oceanica |
| appearance as argument number 1 |
|
|
| (externalImage Oceania "http://articulatesoftware.com/SUMOpictures/geography/ continents/ oceania.png") | pictureList.kif 637-637 | |
| (instance Oceania Continent) | Geography.kif 5022-5022 | Oceania is an instance of continent |
| (instance Oceania GeographicArea) | Geography.kif 106-106 | Oceania is an instance of geographic area |
| (orientation Oceania NorthAmerica Southwest) | Geography.kif 284-284 | Oceania is southwest to north america |
| (overlapsSpatially Oceania EasternHemisphere) | Geography.kif 5026-5026 | Oceania and eastern hemisphere overlapsSpatially |
| (overlapsSpatially Oceania NorthernHemisphere) | Geography.kif 5024-5024 | Oceania and northern hemisphere overlapsSpatially |
| (overlapsSpatially Oceania SouthernHemisphere) | Geography.kif 5025-5025 | Oceania and southern hemisphere overlapsSpatially |
| (overlapsSpatially Oceania WesternHemisphere) | Geography.kif 5027-5027 | Oceania and western hemisphere overlapsSpatially |
| appearance as argument number 2 |
|
|
| consequent |
|
|
| (<=> (instance ?CONTINENT Continent) (or (equal Africa ?CONTINENT) (equal NorthAmerica ?CONTINENT) (equal SouthAmerica ?CONTINENT) (equal Antarctica ?CONTINENT) (equal Europe ?CONTINENT) (equal Asia ?CONTINENT) (equal Oceania ?CONTINENT))) |
Geography.kif 4972-4981 | An entity is an instance of continent if and only if equal africa and the entity or equal north america and the entity or equal south america and the entity or equal antarctica and the entity or equal europe and the entity or equal asia and the entity or equal oceania and the entity |
|
|
|