![]() |
![]() ![]()
|
![]() |
|
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 | |
(instance Africa Continent) | Geography.kif 3679-3679 | |
(orientation Africa NorthAmerica Southeast) | Geography.kif 282-282 | |
(orientation Africa SouthAmerica Northeast) | Geography.kif 280-280 | |
(overlapsSpatially Africa NorthernHemisphere) | Geography.kif 3681-3681 | |
(overlapsSpatially Africa SouthernHemisphere) | Geography.kif 3682-3682 |
appearance as argument number 2 |
![]() |
(geographicSubregion CentralAfrica Africa) | Geography.kif 139-139 | |
(geographicSubregion EasternAfrica Africa) | Geography.kif 140-140 | |
(geographicSubregion MediterraneanRegion Africa) | Geography.kif 326-326 | |
(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 21907-21907 | |
(habitatOfOrganism Cheetah Africa) | Mid-level-ontology.kif 32504-32504 | |
(habitatOfOrganism Crocodile Africa) | Mid-level-ontology.kif 32482-32482 | |
(habitatOfOrganism Lion Africa) | Mid-level-ontology.kif 32290-32290 | |
(habitatOfOrganism Parrot Africa) | Mid-level-ontology.kif 32386-32386 | |
(habitatOfOrganism Rhinoceros Africa) | Mid-level-ontology.kif 32369-32369 | |
(names "Africa" Africa) | Geography.kif 3680-3680 | |
(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 5733-5733 | |
(termFormat ChineseTraditionalLanguage Africa "非洲") | domainEnglishFormat.kif 5732-5732 | |
(termFormat EnglishLanguage Africa "africa") | domainEnglishFormat.kif 5731-5731 |
appearance as argument number 3 |
![]() |
(connects StraitOfGibraltar Europe Africa) | Geography.kif 5618-5618 |
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 | |
(=> (instance ?PLAIN Veldt) (located ?PLAIN Africa)) |
Geography.kif 7056-7058 |
![]() |
![]() |