| Africa(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 | "http://www.adampease.org/Articulate/SUMOpictures/pictures/ geography/ continents/ africa.png" is a URL depicting africa |
| (geographicSubregion Africa EasternHemisphere) | Geography.kif 3371-3371 | Africa is a geographic subregion of eastern hemisphere |
| (instance Africa Continent) | Geography.kif 3367-3367 | 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 3369-3369 | Africa overlaps with northern hemisphere |
| (overlapsSpatially Africa SouthernHemisphere) | Geography.kif 3370-3370 | Africa overlaps with 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 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 |
| (=> (instance ?PLAIN Veldt) (located ?PLAIN Africa)) |
Geography.kif 6044-6046 |
|
|
|
|