|
|
  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 | |
| (instance Asia Continent) | Geography.kif 3548-3548 | |
| (orientation Asia Oceania Northwest) | Geography.kif 281-281 | |
| (overlapsSpatially Asia NorthernHemisphere) | Geography.kif 3550-3550 | |
| (overlapsSpatially Asia SouthernHemisphere) | Geography.kif 3551-3551 |
| appearance as argument number 2 |
|
|
| (geographicSubregion CentralAsia Asia) | Geography.kif 177-177 | |
| (geographicSubregion EasternAsia Asia) | Geography.kif 178-178 | |
| (geographicSubregion NorthernAsia Asia) | Geography.kif 179-179 | |
| (geographicSubregion SoutheasternAsia Asia) | Geography.kif 183-183 | |
| (geographicSubregion SouthernAsia Asia) | Geography.kif 182-182 | |
| (geographicSubregion SouthwesternAsia Asia) | Geography.kif 184-184 | |
| (habitatOfOrganism Badger Asia) | Mid-level-ontology.kif 20238-20238 | |
| (habitatOfOrganism Bear Asia) | Mid-level-ontology.kif 20253-20253 | |
| (habitatOfOrganism Cheetah Asia) | Mid-level-ontology.kif 30486-30486 | |
| (habitatOfOrganism Crocodile Asia) | Mid-level-ontology.kif 30463-30463 | |
| (habitatOfOrganism Parrot Asia) | Mid-level-ontology.kif 30368-30368 | |
| (habitatOfOrganism Reindeer Asia) | Mid-level-ontology.kif 30445-30445 | |
| (habitatOfOrganism Rhinoceros Asia) | Mid-level-ontology.kif 30351-30351 | |
| (habitatOfOrganism Tiger Asia) | Mid-level-ontology.kif 30331-30331 | |
| (meetsSpatially Europe Asia) | CountriesAndRegions.kif 45-45 | |
| (names "Asia" Asia) | Geography.kif 3549-3549 | |
| (orientation Europe Asia West) | Geography.kif 276-276 | |
| (orientation MiddleEastRegion Asia Southwest) | Geography.kif 285-285 | |
| (orientation NorthAmerica Asia East) | Geography.kif 279-279 | |
| (overlapsSpatially MiddleEastRegion Asia) | Geography.kif 146-146 | |
| (part KoreanPeninsula Asia) | CountriesAndRegions.kif 820-820 | |
| (termFormat ChineseLanguage Asia "亚洲") | domainEnglishFormat.kif 8658-8658 | |
| (termFormat ChineseTraditionalLanguage Asia "亞洲") | domainEnglishFormat.kif 8657-8657 | |
| (termFormat EnglishLanguage Asia "asia") | domainEnglishFormat.kif 8656-8656 |
| 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 ?PLAIN Steppe) (or (located ?PLAIN Europe) (located ?PLAIN Asia))) |
Geography.kif 6685-6689 |
|
|
|
