| 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 3710-3710 | geographicSubregion Asia and EasternHemisphere |
| (instance Asia Continent) | Geography.kif 3706-3706 | Asia は 大陸 の instance では |
| (orientation Asia Oceania Northwest) | Geography.kif 281-281 | Asia は Northwest 対 Oceania では |
| (overlapsSpatially Asia NorthernHemisphere) | Geography.kif 3708-3708 | overlapsSpatially Asia and NorthernHemisphere |
| (overlapsSpatially Asia SouthernHemisphere) | Geography.kif 3709-3709 | 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 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 Steppe) (or (located ?PLAIN Europe) (located ?PLAIN Asia))) |
Geography.kif 7044-7048 |
|
|
|