(=>
(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
(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
(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 |
