| Africa(africa)
| | Africa |
| appearance as argument number 1 |
|
|
| (externalImage Africa "http://articulatesoftware.com/SUMOpictures/geography/ continents/ africa.png") | pictureList.kif 210-210 | |
| (geographicSubregion Africa EasternHemisphere) | Geography.kif 3650-3650 | Africa is a geographic subregion of eastern hemisphere |
| (instance Africa Continent) | Geography.kif 3646-3646 | 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 3648-3648 | Africa and northern hemisphere overlapsSpatially |
| (overlapsSpatially Africa SouthernHemisphere) | Geography.kif 3649-3649 | Africa and southern hemisphere overlapsSpatially |
| appearance as argument number 2 |
|
|
| appearance as argument number 3 |
|
|
| (connects StraitOfGibraltar Europe Africa) | Geography.kif 5585-5585 | Strait of Gibraltar connects europe and africa |
| 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 3629-3638 | 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 |
| (=> (instance ?PLAIN Veldt) (located ?PLAIN Africa)) |
Geography.kif 7023-7025 |
|
|
|
|