|
|
  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 | geographicSubregion Africa and EasternHemisphere |
| (instance Africa Continent) | Geography.kif 3521-3521 | Africa ist ein fall von Continent %n{nicht} |
| (orientation Africa NorthAmerica Southeast) | Geography.kif 282-282 | Africa ist Southeast hinsichlich NorthAmerica %n{nicht} |
| (orientation Africa SouthAmerica Northeast) | Geography.kif 280-280 | Africa ist Northeast hinsichlich SouthAmerica %n{nicht} |
| (overlapsSpatially Africa NorthernHemisphere) | Geography.kif 3523-3523 | Africa deckt sich mit NorthernHemisphere raeumlich %n{nicht} |
| (overlapsSpatially Africa SouthernHemisphere) | Geography.kif 3524-3524 | Africa deckt sich mit SouthernHemisphere raeumlich %n{nicht} |
| 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 | Entity ist ein fall von Continent %n{nicht} genau dann wenn Africa ist gleich ** Entity %n{nicht} oder NorthAmerica ist gleich ** Entity %n{nicht} oder SouthAmerica ist gleich ** Entity %n{nicht} oder Antarctica ist gleich ** Entity %n{nicht} oder Europe ist gleich ** Entity %n{nicht} oder Asia ist gleich ** Entity %n{nicht} oder Oceania ist gleich ** Entity %n{nicht} |
| (=> (instance ?PLAIN Veldt) (located ?PLAIN Africa)) |
Geography.kif 6719-6721 |
|
|
|
|
