(=>
(and
(instance ?OBJ1 GeographicArea)
(instance ?OBJ2 GeographicArea))
(equal
(BorderFn ?OBJ1 ?OBJ2)
(BorderFn ?OBJ2 ?OBJ1))) |
Geography.kif 699-703 |
|
(=>
(and
(instance ?PLACE GeographicArea)
(located ?PLACE ?T)
(instance ?T Tropics))
(exists (?NUM1 ?LONG ?DIR ?NUM2 ?U)
(and
(objectGeographicCoordinates ?PLACE
(MeasureFn ?NUM1 ?U) ?LONG)
(instance ?U UnitOfAngularMeasure)
(lessThan ?NUM1 ?NUM2)
(equal
(MeasureFn ?NUM2 ?U)
(LatitudeFn ?DIR
(MeasureFn 23.0 AngularDegree)
(MeasureFn 26.0 ArcMinute)
(MeasureFn 11.5 ArcSecond)))
(instance ?DIR DirectionalAttribute)
(or
(equal ?DIR North)
(equal ?DIR South))))) |
Geography.kif 3595-3615 |
- Wenn Object ist ein fall von GeographicArea %n{nicht} und ** Object befindet sich an %n{nicht} und ** Object ist ein fall von Tropics %n{nicht},
- dann es gibt RealNumber, Longitude,, , DirectionalAttribute,, , ** RealNumber, and und UnitOfMeasure um objectGeographicCoordinates ** Object, ** RealNumber ** UnitOfMeasure(s) and ** Longitude und ** UnitOfMeasure ist ein fall von UnitOfAngularMeasure %n{nicht} und ** RealNumber ist kleinerAls ** ** RealNumber %n{nicht} und ** ** RealNumber ** UnitOfMeasure(s) ist gleich LatitudeFn ** DirectionalAttribute, 23.0 AngularDegree(s), 26.0 ArcMinute(s) and 11.5 ArcSecond(s) %n{nicht} und ** DirectionalAttribute ist ein fall von DirectionalAttribute %n{nicht} und ** DirectionalAttribute ist gleich North %n{nicht} oder ** DirectionalAttribute ist gleich South %n{nicht}
|
(=>
(and
(instance ?REGION GeographicArea)
(instance
(GeographicCenterFn ?REGION) GeographicArea))
(geographicSubregion
(GeographicCenterFn ?REGION) ?REGION)) |
Geography.kif 342-346 |
|
(=>
(and
(instance ?REGION GeographicArea)
(located ?REGION AntarcticArea))
(exists (?DAY)
(and
(instance ?DAY Day)
(holdsDuring ?DAY
(not
(attribute ?REGION Illuminated)))))) |
Geography.kif 3631-3640 |
|
(=>
(and
(instance ?REGION GeographicArea)
(located ?REGION ArcticRegion))
(exists (?DAY)
(and
(instance ?DAY Day)
(holdsDuring ?DAY
(not
(attribute ?REGION Illuminated)))))) |
Geography.kif 3570-3579 |
|
(=>
(and
(instance ?REGION GeographicArea)
(objectGeographicCoordinates
(GeographicCenterFn ?REGION) ?LAT ?LONG))
(objectGeographicCoordinates ?REGION ?LAT ?LONG)) |
Geography.kif 348-353 |
|
(=>
(and
(instance ?T Typhoon)
(eventLocated ?T ?P)
(instance ?P GeographicArea))
(or
(located ?P NorthwesternPacificOcean)
(meetsSpatially ?P NorthwesternPacificOcean))) |
Weather.kif 787-794 |
|
(=>
(and
(instance ?TC TropicalCyclone)
(destination ?TC ?DEST)
(instance ?DEST GeographicArea))
(not
(exists (?L ?SL ?X)
(and
(instance ?L LandArea)
(instance ?SL Shoreline)
(located ?DEST ?L)
(distance ?L ?SL
(MeasureFn ?X Mile))
(greaterThan ?X 200.0))))) |
Weather.kif 693-706 |
|
(=>
(and
(instance ?area GeographicArea)
(groundSurfaceType ?area Loam))
(attribute ?area FertileTerrain)) |
Geography.kif 4355-4359 |
|
(=>
(and
(instance ?area GeographicArea)
(groundSurfaceType ?area Rock))
(not
(attribute ?area FertileTerrain))) |
Geography.kif 1824-1828 |
|
(=>
(and
(not
(vegetationType ?REGION ?TYPE))
(subclass ?TYPE Plant)
(instance ?REGION GeographicArea))
(not
(exists (?PLANT)
(and
(instance ?PLANT ?TYPE)
(located ?PLANT ?REGION))))) |
Geography.kif 6201-6209 |
|
(=>
(and
(partlyLocated ?PLACE ?SUBAREA)
(instance ?SUBAREA GeographicArea)
(geographicSubregion ?SUBAREA ?AREA))
(partlyLocated ?PLACE ?AREA)) |
Geography.kif 507-512 |
|
(=>
(and
(subclass ?TYPE Process)
(instance ?EVENT ?TYPE)
(eventLocated ?EVENT ?REGION)
(instance ?ROLE CaseRole)
(instance ?OBJECT Object)
(instance ?REGION GeographicArea)
(?ROLE ?EVENT ?OBJECT))
(capableAtLocation ?TYPE ?ROLE ?OBJECT ?REGION)) |
Transportation.kif 2692-2701 |
|
(=>
(and
(vegetationType ?REGION ?TYPE)
(subclass ?TYPE Plant)
(instance ?REGION GeographicArea))
(exists (?PLANT)
(and
(instance ?PLANT ?TYPE)
(located ?PLANT ?REGION)))) |
Geography.kif 6191-6199 |
|
(=>
(instance
(BorderFn ?AREA1 ?AREA2) GeographicArea)
(meetsSpatially ?AREA1 ?AREA2)) |
Geography.kif 695-697 |
|
(=>
(instance
(BorderFn ?AREA1 ?AREA2) GeographicArea)
(orientation ?AREA1 ?AREA2 Adjacent)) |
Geography.kif 712-714 |
|