Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
Oceania(oceania)
|  | Oceania, Oceanica |
| appearance as argument number 1 |
|
|
| (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 of to north america |
| (instance Oceania Continent) | Geography.kif 4980-4980 | Oceania is an instance of continent |
| (overlapsSpatially Oceania NorthernHemisphere) | Geography.kif 4982-4982 | Oceania and northern hemisphere overlapsSpatially |
| (overlapsSpatially Oceania SouthernHemisphere) | Geography.kif 4983-4983 | Oceania and southern hemisphere overlapsSpatially |
| (overlapsSpatially Oceania EasternHemisphere) | Geography.kif 4984-4984 | Oceania and eastern hemisphere overlapsSpatially |
| (overlapsSpatially Oceania WesternHemisphere) | Geography.kif 4985-4985 | Oceania and western hemisphere overlapsSpatially |
| (externalImage Oceania "http://articulatesoftware.com/SUMOpictures/geography/ continents/ oceania.png") | pictureList.kif 637-637 | 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 4900-4909 | All of the following hold: (1) X is an instance of continent if (2) only if equal africa (3) X or equal north america (4) X or equal south america (5) X or equal antarctica (6) X or equal europe (7) X or equal asia (8) X or equal oceania (9) X |
|