(=>
(and
(instance ?A PointInSpace)
(instance ?B PointInSpace)
(located ?A RockyMountains)
(located ?B RockyMountains)
(orientation ?A ?B East)
(not
(exists (?A1 ?B1)
(and
(instance ?A1 PointInSpace)
(located ?A1 RockyMountains)
(orientation ?A1 ?A East)
(instance ?B1 PointInSpace)
(located ?B1 RockyMountains)
(orientation ?B1 ?B West))))
(distance ?A ?B
(MeasureFn ?X Mile)))
(and
(greaterThan ?X 70)
(greaterThan 300 ?X))) |
Geography.kif 397-417 |
If All of the following hold: (1) X is an instance of point in space (2) Y is an instance of point in space (3) X is located at Rocky Mountains (4) Y is located at Rocky Mountains (5) X is east of to Y (6) All of the following hold: (1) there don't exist Z (2) W such that Z is an instance of point in space (3) Z is located at Rocky Mountains (4) Z is east of to X (5) W is an instance of point in space (6) W is located at Rocky Mountains (7) W is west of to Y (7) the distance between X and Y is V mile(s), then V is greater than 70 and 300 is greater than V |
(=>
(and
(instance ?A PointInSpace)
(instance ?B PointInSpace)
(located ?A SierraNevada)
(located ?B SierraNevada)
(orientation ?A ?B East)
(not
(exists (?A1 ?B1)
(and
(instance ?A1 PointInSpace)
(located ?A1 SierraNevada)
(orientation ?A1 ?A East)
(instance ?B1 PointInSpace)
(located ?B1 SierraNevada)
(orientation ?B1 ?B West))))
(distance ?A ?B
(MeasureFn ?X Mile)))
(and
(greaterThan ?X 50)
(greaterThan 80 ?X))) |
Geography.kif 1358-1378 |
If All of the following hold: (1) X is an instance of point in space (2) Y is an instance of point in space (3) X is located at Sierra Nevada (4) Y is located at Sierra Nevada (5) X is east of to Y (6) All of the following hold: (1) there don't exist Z (2) W such that Z is an instance of point in space (3) Z is located at Sierra Nevada (4) Z is east of to X (5) W is an instance of point in space (6) W is located at Sierra Nevada (7) W is west of to Y (7) the distance between X and Y is V mile(s), then V is greater than 50 and 80 is greater than V |
(=>
(and
(instance ?A PointInSpace)
(instance ?B PointInSpace)
(located ?A AndesMountains)
(located ?B AndesMountains)
(orientation ?A ?B East)
(not
(exists (?A1 ?B1)
(and
(instance ?A1 PointInSpace)
(located ?A1 AndesMountains)
(orientation ?A1 ?A East)
(instance ?B1 PointInSpace)
(located ?B1 AndesMountains)
(orientation ?B1 ?B West))))
(distance ?A ?B
(MeasureFn ?X Mile)))
(and
(greaterThan ?X 120)
(greaterThan 430 ?X))) |
Geography.kif 1456-1476 |
If All of the following hold: (1) X is an instance of point in space (2) Y is an instance of point in space (3) X is located at Andes Mountains (4) Y is located at Andes Mountains (5) X is east of to Y (6) All of the following hold: (1) there don't exist Z (2) W such that Z is an instance of point in space (3) Z is located at Andes Mountains (4) Z is east of to X (5) W is an instance of point in space (6) W is located at Andes Mountains (7) W is west of to Y (7) the distance between X and Y is V mile(s), then V is greater than 120 and 430 is greater than V |
(=>
(and
(instance ?R Region)
(located ?R Nino1Pluse2)
(objectGeographicCoordinates ?R
(LatitudeFn South
(MeasureFn ?X AngularDegree))
(LongitudeFn West
(MeasureFn ?Y AngularDegree))))
(and
(greaterThanOrEqualTo ?X 0)
(lessThanOrEqualTo ?X 10)
(greaterThanOrEqualTo ?Y 80)
(lessThanOrEqualTo ?Y 90))) |
Weather.kif 858-871 |
If X is an instance of region, X is located at Nino 1+2, and X is object geographic coordinates the region south of of Y angular degree(s) for the meridian at Z angular degree(s) west of, then Y is greater than or equal to 0, Y is less than or equal to 10, Z is greater than or equal to 80, and Z is less than or equal to 90 |
(=>
(and
(instance ?R Region)
(located ?R Nino3)
(objectGeographicCoordinates ?R
(LatitudeFn ?DIR
(MeasureFn ?X AngularDegree))
(LongitudeFn West
(MeasureFn ?Y AngularDegree))))
(and
(or
(equal ?DIR North)
(equal ?DIR South))
(lessThanOrEqualTo ?X 5)
(greaterThanOrEqualTo ?Y 90)
(lessThanOrEqualTo ?Y 150))) |
Weather.kif 881-896 |
If X is an instance of region, X is located at Nino 3, and X is object geographic coordinates the region Y of Z angular degree(s) for the meridian at W angular degree(s) west of, then equal Y and north of or equal Y and south of, Z is less than or equal to 5, W is greater than or equal to 90, and W is less than or equal to 150 |
(=>
(and
(instance ?R Region)
(located ?R Nino3Point4)
(objectGeographicCoordinates ?R
(LatitudeFn ?DIR
(MeasureFn ?X AngularDegree))
(LongitudeFn West
(MeasureFn ?Y AngularDegree))))
(and
(or
(equal ?DIR North)
(equal ?DIR South))
(lessThanOrEqualTo ?X 5)
(greaterThanOrEqualTo ?Y 120)
(lessThanOrEqualTo ?Y 170))) |
Weather.kif 908-923 |
If X is an instance of region, X is located at Nino 3.4, and X is object geographic coordinates the region Y of Z angular degree(s) for the meridian at W angular degree(s) west of, then equal Y and north of or equal Y and south of, Z is less than or equal to 5, W is greater than or equal to 120, and W is less than or equal to 170 |
West