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 | geographicSubregion Asia and EasternHemisphere |
(instance Asia Continent) | Geography.kif 3548-3548 | Asia は 大陸 の instance では %n |
(orientation Asia Oceania Northwest) | Geography.kif 281-281 | Asia は Northwest 対 Oceania では %n |
(overlapsSpatially Asia NorthernHemisphere) | Geography.kif 3550-3550 | overlapsSpatially Asia and NorthernHemisphere |
(overlapsSpatially Asia SouthernHemisphere) | Geography.kif 3551-3551 | overlapsSpatially Asia and SouthernHemisphere |
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 | エンティティー は 大陸 の instance では %n Africa は エンティティー と equal では %n NorthAmerica は エンティティー と equal では %n SouthAmerica は エンティティー と equal では %n Antarctica は エンティティー と equal では %n Europe は エンティティー と equal では %n Asia は エンティティー と equal では %n Oceania は エンティティー と equal では %n |
(=> (instance ?PLAIN Steppe) (or (located ?PLAIN Europe) (located ?PLAIN Asia))) |
Geography.kif 6707-6711 |