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 | 非洲 是 東半球 的 geographic 次要地區 |
(instance Africa Continent) | Geography.kif 3521-3521 | 例 非洲 and Continent |
(orientation Africa NorthAmerica Southeast) | Geography.kif 282-282 | 方位 非洲, 北美 and 東南 |
(orientation Africa SouthAmerica Northeast) | Geography.kif 280-280 | 方位 非洲, 南美洲 and 東北 |
(overlapsSpatially Africa NorthernHemisphere) | Geography.kif 3523-3523 | 在空間上重疊 非洲 and 北半球 |
(overlapsSpatially Africa SouthernHemisphere) | Geography.kif 3524-3524 | 在空間上重疊 非洲 and 南半球 |
appearance as argument number 2 |
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 | 例 Entity and Continent 等於 非洲 and Entity 等於 北美 and Entity 等於 南美洲 and Entity 等於 南極洲 and Entity 等於 歐洲 and Entity 等於 亞洲 and Entity 等於 大洋洲 and Entity |
(=> (instance ?PLAIN Veldt) (located ?PLAIN Africa)) |
Geography.kif 6719-6721 |