|
|
  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 5020-5020 | Asia is a geographic subregion of eastern hemisphere |
| (instance Asia Continent) | Geography.kif 5016-5016 | Asia is an instance of continent |
| (orientation Asia Oceania Northwest) | Geography.kif 281-281 | Asia is northwest to oceania |
| (overlapsSpatially Asia NorthernHemisphere) | Geography.kif 5018-5018 | Asia and northern hemisphere overlapsSpatially |
| (overlapsSpatially Asia SouthernHemisphere) | Geography.kif 5019-5019 | Asia and southern hemisphere overlapsSpatially |
| 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 4972-4981 | An entity is an instance of continent if and only if equal africa and the entity or equal north america and the entity or equal south america and the entity or equal antarctica and the entity or equal europe and the entity or equal asia and the entity or equal oceania and the entity |
| (=> (instance ?PLAIN Steppe) (or (located ?PLAIN Europe) (located ?PLAIN Asia))) |
Geography.kif 8356-8360 |
|
|
|
|
