| Africa(africa)
| | Africa |
| appearance as argument number 1 |
|
|
| s__externalImage(s__Africa,'"http://www.adampease.org/Articulate/SUMOpictures/ pictures/ geography/ continents/ africa.png"')
|
pictureList.kif 210-210 | |
| s__geographicSubregion(s__Africa,s__EasternHemisphere)
|
Geography.kif 3406-3406 | Africa is a geographic subregion of eastern hemisphere |
| s__instance(s__Africa,s__Continent) s__instance(s__Continent,s__SetOrClass)
|
Geography.kif 3402-3402 | Africa is an instance of continent |
| s__orientation(s__Africa,s__NorthAmerica,s__Southeast)
|
Geography.kif 282-282 | Africa is southeast to north america |
| s__orientation(s__Africa,s__SouthAmerica,s__Northeast)
|
Geography.kif 280-280 | Africa is northeast to south america |
| s__overlapsSpatially(s__Africa,s__NorthernHemisphere)
|
Geography.kif 3404-3404 | Africa and northern hemisphere is overlapsSpatially |
| s__overlapsSpatially(s__Africa,s__SouthernHemisphere)
|
Geography.kif 3405-3405 | Africa and southern hemisphere is overlapsSpatially |
| appearance as argument number 2 |
|
|
| consequent |
|
|
| ( ! [V__CONTINENT] : (((s__instance(V__CONTINENT,s__Continent) => ((s__Africa = V__CONTINENT) | (s__NorthAmerica = V__CONTINENT) | (s__SouthAmerica = V__CONTINENT) | (s__Antarctica = V__CONTINENT) | (s__Europe = V__CONTINENT) | (s__Asia = V__CONTINENT) | (s__Oceania = V__CONTINENT))) & (((s__Africa = V__CONTINENT) | (s__NorthAmerica = V__CONTINENT) | (s__SouthAmerica = V__CONTINENT) | (s__Antarctica = V__CONTINENT) | (s__Europe = V__CONTINENT) | (s__Asia = V__CONTINENT) | (s__Oceania = V__CONTINENT)) => s__instance(V__CONTINENT,s__Continent))) ) )
|
Geography.kif 3385-3394 | 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 |
| ( ! [V__PLAIN] : ((s__instance(V__PLAIN,s__Veldt) => (s__located(V__PLAIN,s__Africa))) ) )
|
Geography.kif 6249-6251 |
|
|
|
|