| 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 3525-3525 | Africa is a geographic subregion of eastern hemisphere |
| (instance Africa Continent) | Geography.kif 3521-3521 | 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 3523-3523 | Africa and northern hemisphere overlapsSpatially |
| (overlapsSpatially Africa SouthernHemisphere) | Geography.kif 3524-3524 | Africa and southern 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 3504-3513 | 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 6719-6721 |
|
|
|
|