|
|
  Oceania
|
|
|
| appearance as argument number 1 |
|
|
| (externalImage Oceania "http://articulatesoftware.com/SUMOpictures/geography/ continents/ oceania.png") | pictureList.kif 637-637 | |
| (instance Oceania Continent) | Geography.kif 3554-3554 | Oceania ist ein fall von Continent %n{nicht} |
| (instance Oceania GeographicArea) | Geography.kif 106-106 | Oceania ist ein fall von GeographicArea %n{nicht} |
| (orientation Oceania NorthAmerica Southwest) | Geography.kif 284-284 | Oceania ist Southwest hinsichlich NorthAmerica %n{nicht} |
| (overlapsSpatially Oceania EasternHemisphere) | Geography.kif 3558-3558 | Oceania deckt sich mit EasternHemisphere raeumlich %n{nicht} |
| (overlapsSpatially Oceania NorthernHemisphere) | Geography.kif 3556-3556 | Oceania deckt sich mit NorthernHemisphere raeumlich %n{nicht} |
| (overlapsSpatially Oceania SouthernHemisphere) | Geography.kif 3557-3557 | Oceania deckt sich mit SouthernHemisphere raeumlich %n{nicht} |
| (overlapsSpatially Oceania WesternHemisphere) | Geography.kif 3559-3559 | Oceania deckt sich mit WesternHemisphere raeumlich %n{nicht} |
| 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 3504-3513 | Entity ist ein fall von Continent %n{nicht} genau dann wenn Africa ist gleich ** Entity %n{nicht} oder NorthAmerica ist gleich ** Entity %n{nicht} oder SouthAmerica ist gleich ** Entity %n{nicht} oder Antarctica ist gleich ** Entity %n{nicht} oder Europe ist gleich ** Entity %n{nicht} oder Asia ist gleich ** Entity %n{nicht} oder Oceania ist gleich ** Entity %n{nicht} |
|
|
|
