| appearance as argument number 1 |
|
| (documentation geographicSubregion ChineseLanguage "(geographicSubregion ?PART ?WHOLE)的 意思是 GeographicArea ?PART 是 GeographicArea ?WHOLE 的一部分。") | chinese_format.kif 1438-1439 | |
| (documentation geographicSubregion EnglishLanguage "(geographicSubregion ?PART ?WHOLE) means that the GeographicArea ?PART is part of the GeographicArea ?WHOLE.") | Merge.kif 13011-13013 | |
| (domain geographicSubregion 1 GeographicArea) | Merge.kif 13009-13009 | |
| (domain geographicSubregion 2 GeographicArea) | Merge.kif 13010-13010 | |
| (instance geographicSubregion AsymmetricRelation) | Merge.kif 13006-13006 | |
| (instance geographicSubregion BinaryPredicate) | Merge.kif 13004-13004 | |
| (instance geographicSubregion TransitiveRelation) | Merge.kif 13005-13005 | |
| (subrelation geographicSubregion located) | Merge.kif 13008-13008 | |
| (subrelation geographicSubregion properPart) | Merge.kif 13007-13007 |
| appearance as argument number 2 |
|
|
| (format ChineseLanguage geographicSubregion "%1 %n 是 %2 的 geographic 次要地区") | domainEnglishFormat.kif 1097-1097 | |
| (format ChineseTraditionalLanguage geographicSubregion "%1 %n 是 %2 的 geographic 次要地區") | domainEnglishFormat.kif 1096-1096 | |
| (format EnglishLanguage geographicSubregion "%1 is %n a geographic subregion of %2") | domainEnglishFormat.kif 1095-1095 | |
| (subrelation geopoliticalSubdivision geographicSubregion) | Merge.kif 13051-13051 | |
| (termFormat ChineseLanguage geographicSubregion "地理分区域") | domainEnglishFormat.kif 25699-25699 | |
| (termFormat ChineseTraditionalLanguage geographicSubregion "地理分區域") | domainEnglishFormat.kif 25698-25698 | |
| (termFormat EnglishLanguage geographicSubregion "geographic subregion") | domainEnglishFormat.kif 25697-25697 |
| antecedent |
|
|
| (=> (and (instance ?AREA GeographicArea) (geographicSubregion (ElevationHighPointFn ?AREA) ?AREA) (elevation (ElevationHighPointFn ?AREA) ?ELEV1)) (not (exists (?OTHER ?ELEV2) (and (geographicSubregion ?OTHER ?AREA) (not (equal ?OTHER (ElevationHighPointFn ?AREA))) (elevation ?OTHER ?ELEV2) (greaterThan ?ELEV2 ?ELEV1))))) |
Geography.kif 1914-1925 | |
| (=> (and (instance ?AREA GeographicArea) (geographicSubregion (ElevationLowPointFn ?AREA) ?AREA) (elevation (ElevationLowPointFn ?AREA) ?ELEV1)) (not (exists (?OTHER ?ELEV2) (and (geographicSubregion ?OTHER ?AREA) (not (equal ?OTHER (ElevationLowPointFn ?AREA))) (elevation ?OTHER ?ELEV2) (lessThan ?ELEV2 ?ELEV1))))) |
Geography.kif 1893-1904 | |
| (=> (and (instance ?NATION Nation) (or (geographicSubregion ?NATION NorthAmerica) (geographicSubregion ?NATION SouthAmerica) (geographicSubregion ?NATION WesternEurope))) (holdsDuring (WhenFn ?NATION) (nationalHoliday ?NATION ChristmasDay))) |
Media.kif 349-357 | |
| (=> (and (instance ?SYSTEM InlandWaterSystem) (instance ?WATER1 WaterArea) (instance ?WATER2 WaterArea) (not (equal ?WATER1 ?WATER2)) (not (connected ?WATER1 ?WATER2)) (geographicSubregion ?WATER1 ?SYSTEM) (geographicSubregion ?WATER2 ?SYSTEM)) (exists (?WATER3) (and (instance ?WATER3 WaterArea) (not (equal ?WATER3 ?WATER1)) (not (equal ?WATER3 ?WATER1)) (part ?WATER3 ?SYSTEM) (connects ?WATER3 ?WATER1 ?WATER2)))) |
Geography.kif 5058-5073 | |
| (=> (and (locatedAtTime ?OBJ ?TIME ?PLACE) (geographicSubregion ?PLACE ?REGION)) (locatedAtTime ?OBJ ?TIME ?REGION)) |
Mid-level-ontology.kif 21361-21365 | |
| (=> (and (naturalHazardTypeInArea ?AREA ?TYPE) (geographicSubregion ?AREA ?COUNTRY) (instance ?COUNTRY Nation)) (naturalHazardTypeInArea ?COUNTRY ?TYPE)) |
Geography.kif 2211-2216 | |
| (=> (and (partlyLocated ?PLACE ?SUBAREA) (instance ?SUBAREA GeographicArea) (geographicSubregion ?SUBAREA ?AREA)) (partlyLocated ?PLACE ?AREA)) |
Geography.kif 507-512 | |
| (=> (and (postCity ?PLACE ?CITY) (geographicSubregion ?CITY ?AREA) (instance ?AREA StateOrProvince)) (postDistrict ?PLACE ?AREA)) |
Mid-level-ontology.kif 22581-22586 | |
| (=> (and (postCity ?PLACE ?CITY) (geographicSubregion ?CITY ?AREA) (or (instance ?AREA Nation) (instance ?AREA DependencyOrSpecialSovereigntyArea))) (postCountry ?PLACE ?AREA)) |
Mid-level-ontology.kif 22588-22595 | |
| (=> (and (postNeighborhood ?PLACE ?NEIGHBORHOOD) (geographicSubregion ?NEIGHBORHOOD ?CITY) (instance ?CITY City)) (postCity ?PLACE ?CITY)) |
Mid-level-ontology.kif 22542-22547 | |
| (=> (and (postNeighborhood ?PLACE ?NEIGHBORHOOD) (geographicSubregion ?NEIGHBORHOOD ?STATE) (instance ?STATE StateOrProvince)) (postDistrict ?PLACE ?STATE)) |
Mid-level-ontology.kif 22549-22554 | |
| (=> (and (postPostcodeArea ?PLACE ?AREA) (geographicSubregion ?AREA ?CITY) (instance ?CITY City)) (postCity ?PLACE ?CITY)) |
Mid-level-ontology.kif 22656-22661 | |
| (=> (and (postPostcodeArea ?PLACE ?AREA) (geographicSubregion ?AREA ?GEO) (instance ?GEO StateOrProvince)) (postDistrict ?PLACE ?GEO)) |
Mid-level-ontology.kif 22663-22668 |
| consequent |
|
|
| (=> (and (arableLandArea ?REGION ?FRACTION) (greaterThanOrEqualTo ?FRACTION 0) (totalArea ?REGION (MeasureFn ?TOTAL ?UNIT)) (instance ?UNIT UnitOfArea)) (exists (?ARABLE) (and (instance ?ARABLE ArableLand) (geographicSubregion ?ARABLE ?REGION) (measure ?ARABLE (MeasureFn (MultiplicationFn ?FRACTION ?TOTAL) ?UNIT))))) |
Geography.kif 2049-2059 | |
| (=> (and (holdsDuring ?T1 (and (attribute ?PERSON DislocatedCivilian) (inhabits ?PERSON ?RESIDENCE) (located ?RESIDENCE ?PLACE))) (instance ?PLACE GeographicArea) (instance ?T1 TimeInterval)) (exists (?T0 ?PRIOR-PLACE ?PRIOR-RES) (and (instance ?T0 TimeInterval) (earlier ?T0 ?T1) (instance ?PRIOR-RES Object) (instance ?PRIOR-PLACE GeopoliticalArea) (located ?PRIOR-RES ?PRIOR-PLACE) (not (equal ?PLACE ?PRIOR-PLACE)) (not (equal ?RESIDENCE ?PRIOR-RES)) (not (geographicSubregion ?PLACE ?PRIOR-PLACE)) (not (geographicSubregion ?PRIOR-PLACE ?PLACE)) (holdsDuring ?T0 (inhabits ?PERSON ?PRIOR-RES))))) |
MilitaryPersons.kif 26-47 | |
| (=> (and (instance ?AREA GeographicArea) (geographicSubregion (ElevationHighPointFn ?AREA) ?AREA) (elevation (ElevationHighPointFn ?AREA) ?ELEV1)) (not (exists (?OTHER ?ELEV2) (and (geographicSubregion ?OTHER ?AREA) (not (equal ?OTHER (ElevationHighPointFn ?AREA))) (elevation ?OTHER ?ELEV2) (greaterThan ?ELEV2 ?ELEV1))))) |
Geography.kif 1914-1925 | |
| (=> (and (instance ?AREA GeographicArea) (geographicSubregion (ElevationLowPointFn ?AREA) ?AREA) (elevation (ElevationLowPointFn ?AREA) ?ELEV1)) (not (exists (?OTHER ?ELEV2) (and (geographicSubregion ?OTHER ?AREA) (not (equal ?OTHER (ElevationLowPointFn ?AREA))) (elevation ?OTHER ?ELEV2) (lessThan ?ELEV2 ?ELEV1))))) |
Geography.kif 1893-1904 | |
| (=> (and (instance ?DIRECTION DirectionalAttribute) (instance ?AREA GeographicArea) (instance (DirectionalSubregionFn ?DIRECTION ?AREA) GeographicArea)) (geographicSubregion (DirectionalSubregionFn ?DIRECTION ?AREA) ?AREA)) |
Geography.kif 493-498 | |
| (=> (and (instance ?EV Evacuation) (origin ?EV ?OR) (agent ?EV ?A)) (exists (?P) (and (instance ?P Process) (geographicSubregion ?OR (WhereFn ?P (BeginFn (WhenFn ?EV)))) (causes ?P ?EV) (believes ?A (attribute ?P Dangerous))))) |
MilitaryProcesses.kif 2496-2510 | |
| (=> (and (instance ?REGION GeographicArea) (instance (GeographicCenterFn ?REGION) GeographicArea)) (geographicSubregion (GeographicCenterFn ?REGION) ?REGION)) |
Geography.kif 342-346 | |
| (=> (and (irrigatedLandArea ?REGION (MeasureFn ?AMOUNT ?UNIT)) (instance ?UNIT UnitOfArea)) (exists (?IRRLAND) (and (instance ?IRRLAND IrrigatedLand) (geographicSubregion ?IRRLAND ?REGION) (measure ?IRRLAND (MeasureFn ?AMOUNT ?UNIT))))) |
Geography.kif 2188-2196 | |
| (=> (and (otherLandUseArea ?REGION ?FRACTION) (greaterThanOrEqualTo ?FRACTION 0) (totalArea ?REGION (MeasureFn ?TOTAL ?UNIT)) (instance ?UNIT UnitOfArea)) (exists (?OTHER) (and (instance ?OTHER LandArea) (not (instance ?OTHER ArableLand)) (not (instance ?OTHER PermanentCropLand)) (geographicSubregion ?OTHER ?REGION) (measure ?OTHER (MeasureFn (MultiplicationFn ?FRACTION ?TOTAL) ?UNIT))))) |
Geography.kif 2139-2151 | |
| (=> (and (permanentCropLandArea ?REGION ?FRACTION) (greaterThanOrEqualTo ?FRACTION 0) (totalArea ?REGION (MeasureFn ?TOTAL ?UNIT)) (instance ?UNIT UnitOfArea)) (exists (?PERMCROP) (and (instance ?PERMCROP PermanentCropLand) (geographicSubregion ?PERMCROP ?REGION) (measure ?PERMCROP (MeasureFn (MultiplicationFn ?FRACTION ?TOTAL) ?UNIT))))) |
Geography.kif 2097-2107 | |
| (=> (instance ?AREA Continent) (geographicSubregion ?AREA PlanetEarth)) |
Geography.kif 3374-3376 | |
| (=> (instance ?AREA Hemisphere) (geographicSubregion ?AREA PlanetEarth)) |
Geography.kif 3327-3329 | |
| (=> (instance ?AREA PostcodeArea) (exists (?GEO) (geographicSubregion ?AREA ?GEO))) |
Mid-level-ontology.kif 22634-22637 | |
| (=> (instance ?PLACE Neighborhood) (exists (?AREA) (geographicSubregion ?PLACE ?AREA))) |
Mid-level-ontology.kif 22522-22525 | |
| (=> (instance ?PORT DeepDraftPort) (exists (?HARBOR) (and (instance ?HARBOR DeepDraftHarbor) (geographicSubregion ?HARBOR ?PORT)))) |
Transportation.kif 877-882 | |
| (=> (instance ?STORM TropicalCyclone) (exists (?PLACE) (and (instance ?PLACE GeographicArea) (geographicSubregion ?PLACE Tropics) (eventLocated ?STORM ?PLACE)))) |
Weather.kif 394-400 | |
| (=> (instance ?SYSTEM InlandWaterSystem) (exists (?BODY1 ?BODY2) (and (instance ?BODY1 BodyOfWater) (instance ?BODY2 BodyOfWater) (not (equal ?BODY1 ?BODY2)) (geographicSubregion ?BODY1 ?SYSTEM) (geographicSubregion ?BODY2 ?SYSTEM)))) |
Geography.kif 5026-5034 |
| appearance as argument number 0 |
|
|
|
Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)
|
|
Sigma web home Suggested Upper Merged Ontology (SUMO) web home
Sigma version 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners