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 | |
(instance Asia Continent) | Geography.kif 3706-3706 | |
(orientation Asia Oceania Northwest) | Geography.kif 281-281 | |
(overlapsSpatially Asia NorthernHemisphere) | Geography.kif 3708-3708 | |
(overlapsSpatially Asia SouthernHemisphere) | Geography.kif 3709-3709 |
appearance as argument number 2 |
![]() |
(geographicSubregion CentralAsia Asia) | Geography.kif 177-177 | |
(geographicSubregion EasternAsia Asia) | Geography.kif 178-178 | |
(geographicSubregion MediterraneanRegion Asia) | Geography.kif 328-328 | |
(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 21906-21906 | |
(habitatOfOrganism Bear Asia) | Mid-level-ontology.kif 21921-21921 | |
(habitatOfOrganism Cheetah Asia) | Mid-level-ontology.kif 32503-32503 | |
(habitatOfOrganism Crocodile Asia) | Mid-level-ontology.kif 32480-32480 | |
(habitatOfOrganism Parrot Asia) | Mid-level-ontology.kif 32385-32385 | |
(habitatOfOrganism Reindeer Asia) | Mid-level-ontology.kif 32462-32462 | |
(habitatOfOrganism Rhinoceros Asia) | Mid-level-ontology.kif 32368-32368 | |
(habitatOfOrganism Tiger Asia) | Mid-level-ontology.kif 32348-32348 | |
(meetsSpatially Europe Asia) | CountriesAndRegions.kif 45-45 | |
(names "Asia" Asia) | Geography.kif 3707-3707 | |
(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 8659-8659 | |
(termFormat ChineseTraditionalLanguage Asia "亞洲") | domainEnglishFormat.kif 8658-8658 | |
(termFormat EnglishLanguage Asia "asia") | domainEnglishFormat.kif 8657-8657 | |
Display limited to 25 items. Show next 25 | ||
Display limited to 25 items. Show next 25 |
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 ?PLAIN Steppe) (or (located ?PLAIN Europe) (located ?PLAIN Asia))) |
Geography.kif 7044-7048 |
![]() |
![]() |