|
|
  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 | |
| (instance Africa Continent) | Geography.kif 3521-3521 | |
| (orientation Africa NorthAmerica Southeast) | Geography.kif 282-282 | |
| (orientation Africa SouthAmerica Northeast) | Geography.kif 280-280 | |
| (overlapsSpatially Africa NorthernHemisphere) | Geography.kif 3523-3523 | |
| (overlapsSpatially Africa SouthernHemisphere) | Geography.kif 3524-3524 |
| appearance as argument number 2 |
|
|
| (geographicSubregion CentralAfrica Africa) | Geography.kif 139-139 | |
| (geographicSubregion EasternAfrica Africa) | Geography.kif 140-140 | |
| (geographicSubregion NorthernAfrica Africa) | Geography.kif 141-141 | |
| (geographicSubregion SouthernAfrica Africa) | Geography.kif 142-142 | |
| (geographicSubregion WesternAfrica Africa) | Geography.kif 143-143 | |
| (habitatOfOrganism Badger Africa) | Mid-level-ontology.kif 20548-20548 | |
| (habitatOfOrganism Cheetah Africa) | Mid-level-ontology.kif 30827-30827 | |
| (habitatOfOrganism Crocodile Africa) | Mid-level-ontology.kif 30805-30805 | |
| (habitatOfOrganism Lion Africa) | Mid-level-ontology.kif 30629-30629 | |
| (habitatOfOrganism Parrot Africa) | Mid-level-ontology.kif 30709-30709 | |
| (habitatOfOrganism Rhinoceros Africa) | Mid-level-ontology.kif 30692-30692 | |
| (names "Africa" Africa) | Geography.kif 3522-3522 | |
| (orientation Europe Africa North) | Geography.kif 275-275 | |
| (orientation MiddleEastRegion Africa Northeast) | Geography.kif 286-286 | |
| (part Morocco Africa) | CountriesAndRegions.kif 126-126 | |
| (termFormat ChineseLanguage Africa "非洲") | domainEnglishFormat.kif 5728-5728 | |
| (termFormat ChineseTraditionalLanguage Africa "非洲") | domainEnglishFormat.kif 5727-5727 | |
| (termFormat EnglishLanguage Africa "africa") | domainEnglishFormat.kif 5726-5726 |
| 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 | |
| (=> (instance ?PLAIN Veldt) (located ?PLAIN Africa)) |
Geography.kif 6719-6721 |
|
|
|
