| Oceania(大洋洲)
| |
| appearance as argument number 1 |
|
|
| (externalImage Oceania "http://articulatesoftware.com/SUMOpictures/geography/ continents/ oceania.png") | pictureList.kif 637-637 | |
| (instance Oceania Continent) | Geography.kif 3554-3554 | 例 大洋洲 and Continent |
| (instance Oceania GeographicArea) | Geography.kif 106-106 | 例 大洋洲 and GeographicArea |
| (orientation Oceania NorthAmerica Southwest) | Geography.kif 284-284 | 方位 大洋洲, 北美 and 西南 |
| (overlapsSpatially Oceania EasternHemisphere) | Geography.kif 3558-3558 | 在空間上重疊 大洋洲 and 東半球 |
| (overlapsSpatially Oceania NorthernHemisphere) | Geography.kif 3556-3556 | 在空間上重疊 大洋洲 and 北半球 |
| (overlapsSpatially Oceania SouthernHemisphere) | Geography.kif 3557-3557 | 在空間上重疊 大洋洲 and 南半球 |
| (overlapsSpatially Oceania WesternHemisphere) | Geography.kif 3559-3559 | 在空間上重疊 大洋洲 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 |
|
|
|