| 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 3683-3683 | geographicSubregion Africa and EasternHemisphere |
| (instance Africa Continent) | Geography.kif 3679-3679 | Africa est une instance de continent |
| (orientation Africa NorthAmerica Southeast) | Geography.kif 282-282 | Africa est Southeast � NorthAmerica |
| (orientation Africa SouthAmerica Northeast) | Geography.kif 280-280 | Africa est Northeast � SouthAmerica |
| (overlapsSpatially Africa NorthernHemisphere) | Geography.kif 3681-3681 | Africa recouvre NorthernHemisphere |
| (overlapsSpatially Africa SouthernHemisphere) | Geography.kif 3682-3682 | Africa recouvre SouthernHemisphere |
| appearance as argument number 2 |
|
|
| appearance as argument number 3 |
|
|
| (connects StraitOfGibraltar Europe Africa) | Geography.kif 5618-5618 | StraitOfGibraltar relie Europe et 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 3662-3671 | Entit� est une instance de continent equal Africa and entit� equal NorthAmerica and entit� equal SouthAmerica and entit� equal Antarctica and entit� equal Europe and entit� equal Asia and entit� equal Oceania and entit� |
| (=> (instance ?PLAIN Veldt) (located ?PLAIN Africa)) |
Geography.kif 7056-7058 |
|
|
|