| Oceania(oceania)
| | Oceania, Oceanica, oceania |
| appearance as argument number 1 |
|
|
| (externalImage Oceania "http://www.adampease.org/Articulate/SUMOpictures/ pictures/ geography/ continents/ oceania.png") | pictureList.kif 637-637 | "http://www.adampease.org/Articulate/SUMOpictures/pictures/ geography/ continents/ oceania.png" is a URL depicting oceania |
| (instance Oceania Continent) | Geography.kif 3400-3400 | 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 3404-3404 | Oceania overlaps with eastern hemisphere |
| (overlapsSpatially Oceania NorthernHemisphere) | Geography.kif 3402-3402 | Oceania overlaps with northern hemisphere |
| (overlapsSpatially Oceania SouthernHemisphere) | Geography.kif 3403-3403 | Oceania overlaps with southern hemisphere |
| (overlapsSpatially Oceania WesternHemisphere) | Geography.kif 3405-3405 | Oceania overlaps with western hemisphere |
| 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 3350-3359 | An entity is an instance of continent if and only if africa is equal to the entity or north america is equal to the entity or south america is equal to the entity or antarctica is equal to the entity or europe is equal to the entity or asia is equal to the entity or oceania is equal to the entity |
|
|
|