| Africa(africa)
| | Africa |
| appearance as argument number 1 |
|
|
| (externalImage Africa "http://www.adampease.org/Articulate/SUMOpictures/ pictures/ geography/ continents/ africa.png") | pictureList.kif 210-210 | |
| (geographicSubregion Africa EasternHemisphere) | Geography.kif 3384-3384 | Africa is a geographic subregion of eastern hemisphere |
| (instance Africa Continent) | Geography.kif 3380-3380 | Africa is an instance of continent |
| (orientation Africa NorthAmerica Southeast) | Geography.kif 282-282 | Africa is southeast to north america |
| (orientation Africa SouthAmerica Northeast) | Geography.kif 280-280 | Africa is northeast to south america |
| (overlapsSpatially Africa NorthernHemisphere) | Geography.kif 3382-3382 | overlaps spatially africa and northern hemisphere |
| (overlapsSpatially Africa SouthernHemisphere) | Geography.kif 3383-3383 | overlaps spatially africa and southern 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 3363-3372 | 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 |
| (=> (instance ?PLAIN Veldt) (located ?PLAIN Africa)) |
Geography.kif 6060-6062 |
|
|
|
|