Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
 |
  Africa
|
|
|
| appearance as argument number 1 |
|
|
| (orientation Africa SouthAmerica Northeast) | Geography.kif 280-280 | Africa is northeast of to south america |
| (orientation Africa NorthAmerica Southeast) | Geography.kif 282-282 | Africa is southeast of to north america |
| (instance Africa Continent) | Geography.kif 4917-4917 | Africa is an instance of continent |
| (overlapsSpatially Africa NorthernHemisphere) | Geography.kif 4919-4919 | Africa and northern hemisphere overlapsSpatially |
| (overlapsSpatially Africa SouthernHemisphere) | Geography.kif 4920-4920 | Africa and southern hemisphere overlapsSpatially |
| (geographicSubregion Africa EasternHemisphere) | Geography.kif 4921-4921 | Africa is a geographic subregion of eastern hemisphere |
| (externalImage Africa "http://articulatesoftware.com/SUMOpictures/geography/ continents/ africa.png") | pictureList.kif 210-210 | Africa is a geographic subregion of eastern hemisphere |
| appearance as argument number 2 |
|
|
| appearance as argument number 3 |
|
|
| (connects StraitOfGibraltar Europe Africa) | Geography.kif 6920-6920 | 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 4900-4909 | All of the following hold: (1) X is an instance of continent if (2) only if equal africa (3) X or equal north america (4) X or equal south america (5) X or equal antarctica (6) X or equal europe (7) X or equal asia (8) X or equal oceania (9) X |
| (=> (instance ?PLAIN Veldt) (located ?PLAIN Africa)) |
Geography.kif 8383-8385 | If X is an instance of veldt, then X is located at africa |
|
