Asia(亞洲) |
appearance as argument number 1 |
(externalImage Asia "http://articulatesoftware.com/SUMOpictures/geography/ continents/ asia.png") | pictureList.kif 241-241 | |
(geographicSubregion Asia EasternHemisphere) | Geography.kif 3552-3552 | 亞洲 是 東半球 的 geographic 次要地區 |
(instance Asia Continent) | Geography.kif 3548-3548 | 例 亞洲 and Continent |
(orientation Asia Oceania Northwest) | Geography.kif 281-281 | 方位 亞洲, 大洋洲 and 西北 |
(overlapsSpatially Asia NorthernHemisphere) | Geography.kif 3550-3550 | 在空間上重疊 亞洲 and 北半球 |
(overlapsSpatially Asia SouthernHemisphere) | Geography.kif 3551-3551 | 在空間上重疊 亞洲 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 Steppe) (or (located ?PLAIN Europe) (located ?PLAIN Asia))) |
Geography.kif 6707-6711 |