(=>
(and
(instance ?REGION GeographicArea)
(geographicSubregion
(GeographicNorthFn ?REGION) ?REGION)
(geographicSubregion
(GeographicSouthFn ?REGION) ?REGION))
(orientation
(GeographicNorthFn ?REGION)
(GeographicSouthFn ?REGION) North)) |
Geography.kif 1707-1712 |
If X is an instance of geographic area, geographic North X is a geographic subregion of X, and geographic South X is a geographic subregion of X, then geographic North X is north of to geographic South X |
(=>
(and
(instance ?REGION GeographicArea)
(geographicSubregion
(GeographicNorthFn ?REGION) ?REGION)
(geographicSubregion
(GeographicSouthFn ?REGION) ?REGION))
(not
(overlapsSpatially
(GeographicNorthFn ?REGION)
(GeographicSouthFn ?REGION)))) |
Geography.kif 1714-1720 |
If X is an instance of geographic area, geographic North X is a geographic subregion of X, and geographic South X is a geographic subregion of X, then geographic North X and geographic South X doesn't overlapsSpatially |
(=>
(and
(instance ?REGION GeographicArea)
(geographicSubregion
(GeographicNorthFn ?REGION) ?REGION)
(geographicSubregion
(GeographicEastFn ?REGION) ?REGION))
(overlapsSpatially
(GeographicNorthFn ?REGION)
(GeographicEastFn ?REGION))) |
Geography.kif 1722-1727 |
If X is an instance of geographic area, geographic North X is a geographic subregion of X, and geographic east X is a geographic subregion of X, then geographic North X and geographic east X overlapsSpatially |
(=>
(and
(instance ?REGION GeographicArea)
(geographicSubregion
(GeographicNorthFn ?REGION) ?REGION)
(geographicSubregion
(GeographicWestFn ?REGION) ?REGION))
(overlapsSpatially
(GeographicNorthFn ?REGION)
(GeographicWestFn ?REGION))) |
Geography.kif 1729-1734 |
If X is an instance of geographic area, geographic North X is a geographic subregion of X, and geographic west X is a geographic subregion of X, then geographic North X and geographic west X overlapsSpatially |
(=>
(and
(instance ?REGION GeographicArea)
(geographicSubregion
(GeographicNorthFn ?REGION) ?REGION)
(geographicSubregion
(GeographicCenterFn ?REGION) ?REGION))
(overlapsSpatially
(GeographicNorthFn ?REGION)
(GeographicCenterFn ?REGION))) |
Geography.kif 1736-1741 |
If X is an instance of geographic area, geographic North X is a geographic subregion of X, and the geographic center of X is a geographic subregion of X, then geographic North X and the geographic center of X overlapsSpatially |
(=>
(and
(instance ?REGION GeographicArea)
(geographicSubregion
(GeographicSouthFn ?REGION) ?REGION)
(geographicSubregion
(GeographicNorthFn ?REGION) ?REGION))
(orientation
(GeographicSouthFn ?REGION)
(GeographicNorthFn ?REGION) South)) |
Geography.kif 1753-1758 |
If X is an instance of geographic area, geographic South X is a geographic subregion of X, and geographic North X is a geographic subregion of X, then geographic South X is south of to geographic North X |
(=>
(and
(instance ?REGION GeographicArea)
(geographicSubregion
(GeographicSouthFn ?REGION) ?REGION)
(geographicSubregion
(GeographicEastFn ?REGION) ?REGION))
(overlapsSpatially
(GeographicSouthFn ?REGION)
(GeographicEastFn ?REGION))) |
Geography.kif 1760-1765 |
If X is an instance of geographic area, geographic South X is a geographic subregion of X, and geographic east X is a geographic subregion of X, then geographic South X and geographic east X overlapsSpatially |
(=>
(and
(instance ?REGION GeographicArea)
(geographicSubregion
(GeographicSouthFn ?REGION) ?REGION)
(geographicSubregion
(GeographicWestFn ?REGION) ?REGION))
(overlapsSpatially
(GeographicSouthFn ?REGION)
(GeographicWestFn ?REGION))) |
Geography.kif 1767-1772 |
If X is an instance of geographic area, geographic South X is a geographic subregion of X, and geographic west X is a geographic subregion of X, then geographic South X and geographic west X overlapsSpatially |
(=>
(and
(instance ?REGION GeographicArea)
(geographicSubregion
(GeographicSouthFn ?REGION) ?REGION)
(geographicSubregion
(GeographicCenterFn ?REGION) ?REGION))
(overlapsSpatially
(GeographicSouthFn ?REGION)
(GeographicCenterFn ?REGION))) |
Geography.kif 1774-1779 |
If X is an instance of geographic area, geographic South X is a geographic subregion of X, and the geographic center of X is a geographic subregion of X, then geographic South X and the geographic center of X overlapsSpatially |
(=>
(and
(instance ?REGION GeographicArea)
(geographicSubregion
(GeographicEastFn ?REGION) ?REGION)
(geographicSubregion
(GeographicWestFn ?REGION) ?REGION))
(orientation
(GeographicEastFn ?REGION)
(GeographicWestFn ?REGION) East)) |
Geography.kif 1790-1795 |
If X is an instance of geographic area, geographic east X is a geographic subregion of X, and geographic west X is a geographic subregion of X, then geographic east X is east of to geographic west X |
(=>
(and
(instance ?REGION GeographicArea)
(geographicSubregion
(GeographicEastFn ?REGION) ?REGION)
(geographicSubregion
(GeographicWestFn ?REGION) ?REGION))
(not
(overlapsSpatially
(GeographicEastFn ?REGION)
(GeographicWestFn ?REGION)))) |
Geography.kif 1797-1803 |
If X is an instance of geographic area, geographic east X is a geographic subregion of X, and geographic west X is a geographic subregion of X, then geographic east X and geographic west X doesn't overlapsSpatially |
(=>
(and
(instance ?REGION GeographicArea)
(geographicSubregion
(GeographicEastFn ?REGION) ?REGION)
(geographicSubregion
(GeographicCenterFn ?REGION) ?REGION))
(overlapsSpatially
(GeographicEastFn ?REGION)
(GeographicCenterFn ?REGION))) |
Geography.kif 1805-1810 |
If X is an instance of geographic area, geographic east X is a geographic subregion of X, and the geographic center of X is a geographic subregion of X, then geographic east X and the geographic center of X overlapsSpatially |
(=>
(and
(instance ?REGION GeographicArea)
(geographicSubregion
(GeographicWestFn ?REGION) ?REGION)
(geographicSubregion
(GeographicEastFn ?REGION) ?REGION))
(orientation
(GeographicWestFn ?REGION)
(GeographicEastFn ?REGION) West)) |
Geography.kif 1821-1826 |
If X is an instance of geographic area, geographic west X is a geographic subregion of X, and geographic east X is a geographic subregion of X, then geographic west X is west of to geographic east X |
(=>
(and
(instance ?REGION GeographicArea)
(geographicSubregion
(GeographicWestFn ?REGION) ?REGION)
(geographicSubregion
(GeographicCenterFn ?REGION) ?REGION))
(overlapsSpatially
(GeographicWestFn ?REGION)
(GeographicCenterFn ?REGION))) |
Geography.kif 1828-1833 |
If X is an instance of geographic area, geographic west X is a geographic subregion of X, and the geographic center of X is a geographic subregion of X, then geographic west X and the geographic center of X overlapsSpatially |
(=>
(and
(partlyLocated ?PLACE ?SUBAREA)
(instance ?SUBAREA GeographicArea)
(geographicSubregion ?SUBAREA ?AREA))
(partlyLocated ?PLACE ?AREA)) |
Geography.kif 1987-1992 |
If X is partly located in Y, Y is an instance of geographic area, and Y is a geographic subregion of Z, then X is partly located in Z |
(=>
(and
(instance ?AREA GeographicArea)
(geographicSubregion
(ElevationLowPointFn ?AREA) ?AREA)
(instance ?U UnitOfLength)
(elevation
(ElevationLowPointFn ?AREA)
(MeasureFn ?ELEV1 ?U)))
(not
(exists (?OTHER ?ELEV2)
(and
(geographicSubregion ?OTHER ?AREA)
(not
(equal ?OTHER
(ElevationLowPointFn ?AREA)))
(elevation ?OTHER
(MeasureFn ?ELEV2 ?U))
(lessThan ?ELEV2 ?ELEV1))))) |
Geography.kif 3395-3409 |
If X is an instance of geographic area, the elevation low point of X is a geographic subregion of X, Y is an instance of unit of length, and Z Y(s) is an elevation of the elevation low point of X, then there don't exist W and V such that W is a geographic subregion of X and equal W and the elevation low point of X and V Y(s) is an elevation of W and V is less than Z |
(=>
(and
(instance ?AREA GeographicArea)
(geographicSubregion
(ElevationHighPointFn ?AREA) ?AREA)
(elevation
(ElevationHighPointFn ?AREA)
(MeasureFn ?ELEV1 ?UNIT)))
(not
(exists (?OTHER ?ELEV2)
(and
(geographicSubregion ?OTHER ?AREA)
(not
(equal ?OTHER
(ElevationHighPointFn ?AREA)))
(elevation ?OTHER
(MeasureFn ?ELEV2 ?UNIT))
(greaterThan ?ELEV2 ?ELEV1))))) |
Geography.kif 3419-3430 |
If X is an instance of geographic area, the elevation high point of X is a geographic subregion of X, and Y Z(s) is an elevation of the elevation high point of X, then there don't exist W and V such that W is a geographic subregion of X and equal W and the elevation high point of X and V Z(s) is an elevation of W and V is greater than Y |
(=>
(and
(naturalHazardTypeInArea ?AREA ?TYPE)
(geographicSubregion ?AREA ?COUNTRY)
(instance ?COUNTRY Nation))
(naturalHazardTypeInArea ?COUNTRY ?TYPE)) |
Geography.kif 3719-3724 |
If X is a natural hazard type in area of Y, Y is a geographic subregion of Z, and Z is an instance of nation, then X is a natural hazard type in area of Z |
(=>
(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 7001-7016 |
If All of the following hold: (1) X is an instance of inland water system (2) Y is an instance of water area (3) Z is an instance of water area (4) equal Y and Z (5) Y is not connected to Z (6) Y is a geographic subregion of X (7) Z is a geographic subregion of X, then All of the following hold: (1) there exists W such that W is an instance of water area (2) equal W (3) Y (4) equal W (5) Y (6) W is a part of X (7) W connects Y (8) Z |
(=>
(and
(instance ?NATION Nation)
(or
(geographicSubregion ?NATION NorthAmerica)
(geographicSubregion ?NATION SouthAmerica)
(geographicSubregion ?NATION WesternEurope)))
(holdsDuring
(WhenFn ?NATION)
(nationalHoliday ?NATION ChristmasDay))) |
Media.kif 349-357 |
If X is an instance of nation and At least one of the following holds: (1) X is a geographic subregion of north america (2) X is a geographic subregion of south america (3) X is a geographic subregion of western europe, then Christmas day is a national holiday of X holds during the time of existence of X |
(=>
(and
(locatedAtTime ?OBJ ?TIME ?PLACE)
(geographicSubregion ?PLACE ?REGION))
(locatedAtTime ?OBJ ?TIME ?REGION)) |
Mid-level-ontology.kif 25747-25751 |
If X located at time Y for Z and Z is a geographic subregion of W, then X located at time Y for W |
(=>
(and
(postNeighborhood ?PLACE ?NEIGHBORHOOD)
(geographicSubregion ?NEIGHBORHOOD ?CITY)
(instance ?CITY City))
(postCity ?PLACE ?CITY)) |
Mid-level-ontology.kif 27064-27069 |
If X is in Y, Y is a geographic subregion of Z, and Z is an instance of city, then X is in Z |
(=>
(and
(postNeighborhood ?PLACE ?NEIGHBORHOOD)
(geographicSubregion ?NEIGHBORHOOD ?STATE)
(instance ?STATE StateOrProvince))
(postDistrict ?PLACE ?STATE)) |
Mid-level-ontology.kif 27071-27076 |
If X is in Y, Y is a geographic subregion of Z, and Z is an instance of state or province, then X is in Z |
(=>
(and
(postCity ?PLACE ?CITY)
(geographicSubregion ?CITY ?AREA)
(instance ?AREA StateOrProvince))
(postDistrict ?PLACE ?AREA)) |
Mid-level-ontology.kif 27103-27108 |
If X is in Y, Y is a geographic subregion of Z, and Z is an instance of state or province, then X is in Z |
(=>
(and
(postCity ?PLACE ?CITY)
(geographicSubregion ?CITY ?AREA)
(or
(instance ?AREA Nation)
(instance ?AREA DependencyOrSpecialSovereigntyArea)))
(postCountry ?PLACE ?AREA)) |
Mid-level-ontology.kif 27110-27117 |
If X is in Y, Y is a geographic subregion of Z, and Z is an instance of nation or Z is an instance of dependency or special sovereignty area, then X is in Z |
|
| Display limited to 25 items. Show next 25 |
|
| Display limited to 25 items. Show next 25 |
