| Asia(asia)
| | Asia, asia, oriental, 亚洲, 亞洲 |
| appearance as argument number 1 |
|
|
| (externalImage Asia "http://www.adampease.org/Articulate/SUMOpictures/pictures/ geography/ continents/ asia.png") | pictureList.kif 241-241 | "http://www.adampease.org/Articulate/SUMOpictures/pictures/ geography/ continents/ asia.png" is a URL depicting asia |
| (geographicSubregion Asia EasternHemisphere) | Geography.kif 3411-3411 | Asia is a geographic subregion of eastern hemisphere |
| (instance Asia Continent) | Geography.kif 3407-3407 | Asia is an instance of continent |
| (orientation Asia Oceania Northwest) | Geography.kif 281-281 | Asia is northwest to oceania |
| (overlapsSpatially Asia NorthernHemisphere) | Geography.kif 3409-3409 | overlaps spatially asia and northern hemisphere |
| (overlapsSpatially Asia SouthernHemisphere) | Geography.kif 3410-3410 | overlaps spatially asia and southern hemisphere |
| 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 3363-3372 | An entity is an instance of continent if and only if africa is equal to the entity or north america is equal to the entity or south america is equal to the entity or antarctica is equal to the entity or europe is equal to the entity or asia is equal to the entity or oceania is equal to the entity |
| (=> (instance ?PLAIN Steppe) (or (located ?PLAIN Europe) (located ?PLAIN Asia))) |
Geography.kif 6048-6052 |
|
|
|
|