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 3683-3683 | geographicSubregion Africa and EasternHemisphere |
(instance Africa Continent) | Geography.kif 3679-3679 | Africa は 大陸 の instance では |
(orientation Africa NorthAmerica Southeast) | Geography.kif 282-282 | Africa は Southeast 対 NorthAmerica では |
(orientation Africa SouthAmerica Northeast) | Geography.kif 280-280 | Africa は Northeast 対 SouthAmerica では |
(overlapsSpatially Africa NorthernHemisphere) | Geography.kif 3681-3681 | overlapsSpatially Africa and NorthernHemisphere |
(overlapsSpatially Africa SouthernHemisphere) | Geography.kif 3682-3682 | overlapsSpatially Africa and SouthernHemisphere |
appearance as argument number 2 |
![]() |
appearance as argument number 3 |
![]() |
(connects StraitOfGibraltar Europe Africa) | Geography.kif 5618-5618 | StraitOfGibraltar は Europe と Africa に connects |
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 では equal Africa and エンティティー equal NorthAmerica and エンティティー equal SouthAmerica and エンティティー equal Antarctica and エンティティー equal Europe and エンティティー equal Asia and エンティティー equal Oceania and エンティティー |
(=> (instance ?PLAIN Veldt) (located ?PLAIN Africa)) |
Geography.kif 7056-7058 |
![]() |
![]() |