| 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 3513-3513 | Africa is a geographic subregion of eastern hemisphere |
| (instance Africa Continent) | Geography.kif 3509-3509 | 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 3511-3511 | Africa and northern hemisphere overlapsSpatially |
| (overlapsSpatially Africa SouthernHemisphere) | Geography.kif 3512-3512 | Africa and southern hemisphere overlapsSpatially |
| appearance as argument number 2 |
|
|
| appearance as argument number 3 |
|
|
| (connects StraitOfGibraltar Europe Africa) | Geography.kif 5448-5448 | 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 3492-3501 | 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 6885-6887 |
|
|
|
|