(=>
(instance ?PLACE Neighborhood)
(exists (?AREA)
(geographicSubregion ?PLACE ?AREA))) |
Mid-level-ontology.kif 26945-26948 |
If X is an instance of neighborhood, then there exists Y such that X is a geographic subregion of Y |
(=>
(instance ?AREA PostcodeArea)
(exists (?GEO)
(geographicSubregion ?AREA ?GEO))) |
Mid-level-ontology.kif 27057-27060 |
If X is an instance of postcode area, then there exists Y such that X is a geographic subregion of Y |
(=>
(and
(instance ?REGION GeographicArea)
(instance
(GeographicCenterFn ?REGION) GeographicArea))
(geographicSubregion
(GeographicCenterFn ?REGION) ?REGION)) |
Geography.kif 1684-1688 |
If X is an instance of geographic area and the geographic center of X is an instance of geographic area, then the geographic center of X is a geographic subregion of X |
(=>
(and
(instance ?DIRECTION DirectionalAttribute)
(instance ?AREA GeographicArea)
(instance
(DirectionalSubregionFn ?DIRECTION ?AREA) GeographicArea))
(geographicSubregion
(DirectionalSubregionFn ?DIRECTION ?AREA) ?AREA)) |
Geography.kif 1969-1974 |
If X is an instance of directional attribute, Y is an instance of geographic area, and the directional subregion of X and Y is an instance of geographic area, then the directional subregion of X and Y is a geographic subregion of Y |
(=>
(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 3391-3405 |
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 3415-3426 |
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
(arableLandArea ?REGION
(MeasureFn ?FRACTION ?UNIT))
(greaterThanOrEqualTo ?FRACTION 0.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 3547-3561 |
If X Y(s) is an arable land area of Z, X is greater than or equal to 0.0, W Y(s) is a total area of Z, and Y is an instance of unit of area, then there exists V such that V is an instance of arable land and V is a geographic subregion of Z and the measure of V is X and W Y(s) |
(=>
(and
(permanentCropLandArea ?REGION
(MeasureFn ?FRACTION ?UNIT))
(greaterThanOrEqualTo ?FRACTION 0.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 3593-3607 |
If X Y(s) is a permanent crop land area of Z, X is greater than or equal to 0.0, W Y(s) is a total area of Z, and Y is an instance of unit of area, then there exists V such that V is an instance of permanent crop land and V is a geographic subregion of Z and the measure of V is X and W Y(s) |
(=>
(and
(otherLandUseArea ?REGION
(MeasureFn ?FRACTION ?UNIT))
(greaterThanOrEqualTo ?FRACTION 0.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 3633-3651 |
If X Y(s) is an other land use area of Z, X is greater than or equal to 0.0, W Y(s) is a total area of Z, and Y is an instance of unit of area, then there exists V such that V is an instance of land area and V is not an instance of arable land and V is not an instance of permanent crop land and V is a geographic subregion of Z and the measure of V is X and W Y(s) |
(=>
(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 3694-3704 |
If X Y(s) is an irrigated land area of Z and Y is an instance of unit of area, then there exists W such that W is an instance of irrigated land and W is a geographic subregion of Z and the measure of W is X Y(s) |
(=>
(instance ?AREA Hemisphere)
(geographicSubregion ?AREA PlanetEarth)) |
Geography.kif 4864-4866 |
If X is an instance of hemisphere, then X is a geographic subregion of planet earth |
(=>
(instance ?AREA Continent)
(geographicSubregion ?AREA PlanetEarth)) |
Geography.kif 4911-4913 |
If X is an instance of continent, then X is a geographic subregion of planet earth |
(=>
(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 6953-6961 |
If X is an instance of inland water system, then All of the following hold: (1) there exist Y (2) Z such that Y is an instance of body of water (3) Z is an instance of body of water (4) equal Y (5) Z (6) Y is a geographic subregion of X (7) Z is a geographic subregion of X |
(=>
(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 |
If dislocated civilian is an attribute of X, X lives in Y, and Y is located at Z holds during W, Z is an instance of geographic area, and W is an instance of timeframe, then All of the following hold: (1) there exist V, ?PRIOR_PLACE (2) ?PRIOR_RES such that V is an instance of timeframe (3) V happens earlier than W (4) ?PRIOR_RES is an instance of object (5) ?PRIOR_PLACE is an instance of geopolitical area (6) ?PRIOR_RES is located at ?PRIOR_PLACE (7) equal Z (8) ?PRIOR_PLACE (9) equal Y (10) ?PRIOR_RES (11) Z is not a geographic subregion of ?PRIOR_PLACE (12) ?PRIOR_PLACE is not a geographic subregion of Z (13) X lives in ?PRIOR_RES holds during V |
(=>
(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 2591-2605 |
If X is an instance of evacuating, X originates at Y, and Z is an agent of X, then there exists W such that W is an instance of process, Y is a geographic subregion of the place where W was at the beginning of the time of existence of X, W causes X, and Z believes dangerous is an attribute of W |
(=>
(instance ?PORT DeepDraftPort)
(exists (?HARBOR)
(and
(instance ?HARBOR DeepDraftHarbor)
(geographicSubregion ?HARBOR ?PORT)))) |
Transportation.kif 888-893 |
If X is an instance of deep draft port, then there exists Y such that Y is an instance of deep draft harbor and Y is a geographic subregion of X |
(=>
(and
(instance ?E ElNinoSouthernOscillation)
(origin ?E ?R))
(and
(located ?R Tropics)
(geographicSubregion ?R PacificOcean))) |
Weather.kif 505-511 |
If X is an instance of el nino southern oscillation and X originates at Y, then Y is located at tropics and Y is a geographic subregion of pacific ocean |
(=>
(instance ?STORM TropicalCyclonicSystem)
(exists (?PLACE)
(and
(instance ?PLACE GeographicArea)
(geographicSubregion ?PLACE Tropics)
(origin ?STORM ?PLACE)))) |
Weather.kif 1044-1050 |
If X is an instance of tropical cyclonic system, then there exists Y such that Y is an instance of geographic area, Y is a geographic subregion of tropics, and X originates at Y |
(=>
(and
(instance ?W Mistral)
(eventLocated ?W ?A)
(instance ?A GeographicArea)
(origin ?W SouthernFrance)
(destination ?W GulfOfLion))
(and
(geographicSubregion ?A MediterraneanRegion)
(orientation ?A MediterraneanSea North)
(geographicSubregion ?A SoutheasternEurope))) |
Weather.kif 2084-2094 |
If X is an instance of mistral, X is located at Y, Y is an instance of geographic area, X originates at Southern France, and X ends up at Gulf Of Lion, then Y is a geographic subregion of Mediterranean Region, Y is north of to mediterranean sea, and Y is a geographic subregion of southeastern europe |
(=>
(and
(instance ?W Pampero)
(eventLocated ?W ?A)
(instance ?A Pampa))
(or
(geographicSubregion ?A Argentina)
(geographicSubregion ?A Brazil)
(geographicSubregion ?A Bolivia)
(geographicSubregion ?A Paraguay)
(geographicSubregion ?A Uruguay))) |
Weather.kif 2236-2246 |
If X is an instance of pampero, X is located at Y, and Y is an instance of pampa, then At least one of the following holds: (1) Y is a geographic subregion of argentina (2) Y is a geographic subregion of brazil (3) Y is a geographic subregion of bolivia (4) Y is a geographic subregion of paraguay (5) Y is a geographic subregion of uruguay |
(=>
(and
(instance ?X WaterTransportationService)
(serviceProvider ?X ?Y)
(attribute ?Y CoastalAndGreatLakesFreightTransportation))
(exists (?FREIGHT ?SHIP ?WATER)
(and
(subProcess ?FREIGHT ?X)
(instance ?FREIGHT WaterTransportation)
(instrument ?FREIGHT ?SHIP)
(instance ?SHIP CargoShip)
(eventLocated ?FREIGHT ?WATER)
(instance ?WATER WaterArea)
(geographicSubregion ?WATER UnitedStates)))) |
naics.kif 8181-8194 |
If X is an instance of Water Transportation Service, Y provides a service during X, and coastal and great lakes freight transportation is an attribute of Y, then All of the following hold: (1) there exist Z, W (2) V such that Z is a subprocess of X (3) Z is an instance of water transportation (4) W is an instrument for Z (5) W is an instance of cargo ship (6) Z is located at V (7) V is an instance of water area (8) V is a geographic subregion of united states |
(=>
(and
(instance ?X WaterTransportationService)
(serviceProvider ?X ?Y)
(attribute ?Y CoastalAndGreatLakesPassengerTransportation))
(exists (?CRUISE ?SHIP ?WATER)
(and
(subProcess ?CRUISE ?X)
(instance ?CRUISE WaterTransportation)
(instrument ?CRUISE ?SHIP)
(instance ?SHIP PassengerShip)
(eventLocated ?CRUISE ?WATER)
(instance ?WATER WaterArea)
(geographicSubregion ?WATER UnitedStates)
(not
(exists (?FERRY)
(and
(instance ?FERRY ShortSeaPassengerShip)
(equal ?SHIP ?FERRY))))))) |
naics.kif 8204-8222 |
If X is an instance of Water Transportation Service, Y provides a service during X, and coastal and great lakes passenger transportation is an attribute of Y, then All of the following hold: (1) there exist Z, W (2) V such that Z is a subprocess of X (3) Z is an instance of water transportation (4) W is an instrument for Z (5) W is an instance of passenger ship (6) Z is located at V (7) V is an instance of water area (8) V is a geographic subregion of united states (9) there doesn't exist U such that U is an instance of short sea passenger ship (10) equal W (11) U |
