(=>
(and
(instance ?A PointInSpace)
(instance ?B PointInSpace)
(located ?A RockyMountains)
(located ?B RockyMountains)
(orientation ?A ?B North)
(not
(exists (?A1 ?B1)
(and
(instance ?A1 PointInSpace)
(located ?A1 RockyMountains)
(orientation ?A1 ?A North)
(instance ?B1 PointInSpace)
(located ?B1 RockyMountains)
(orientation ?B1 ?B South))))
(distance ?A ?B
(MeasureFn ?X Mile)))
(approximateValue ?X 3000)) |
Geography.kif 377-395 |
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 north 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 north of to X (5) W is an instance of point in space (6) W is located at Rocky Mountains (7) W is south of to Y (7) the distance between X and Y is V mile(s), then the approximate value of V is 3000 |
(=>
(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 CaliforniaCoastRanges)
(located ?B CaliforniaCoastRanges)
(orientation ?A ?B North)
(not
(exists (?A1 ?B1)
(and
(instance ?A1 PointInSpace)
(located ?A1 CaliforniaCoastRanges)
(orientation ?A1 ?A North)
(instance ?B1 PointInSpace)
(located ?B1 CaliforniaCoastRanges)
(orientation ?B1 ?B South))))
(distance ?A ?B
(MeasureFn ?X Mile)))
(approximateValue ?X 400)) |
Geography.kif 443-461 |
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 California Coast Ranges (4) Y is located at California Coast Ranges (5) X is north 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 California Coast Ranges (4) Z is north of to X (5) W is an instance of point in space (6) W is located at California Coast Ranges (7) W is south of to Y (7) the distance between X and Y is V mile(s), then the approximate value of V is 400 |
(=>
(and
(instance ?R GeographicArea)
(tangentialProperPart ?R KlamathMountains)
(tangentialProperPart ?R CaliforniaCoastRanges)
(instance ?N PointInSpace)
(located ?N ?R)
(instance ?S PointInSpace)
(located ?S ?R)
(orientation ?N ?S North)
(not
(exists (?N1 ?S1)
(and
(instance ?N1 PointInSpace)
(located ?N1 ?R)
(orientation ?N1 ?N North)
(instance ?S1 PointInSpace)
(located ?S1 ?R)
(orientation ?S1 ?S South))))
(distance ?N ?S
(MeasureFn ?X Mile)))
(approximateValue ?X 80)) |
Geography.kif 562-583 |
If All of the following hold: (1) X is an instance of geographic area (2) X is a tangentialProperPart of Klamath Mountains (3) X is a tangentialProperPart of California Coast Ranges (4) Y is an instance of point in space (5) Y is located at X (6) Z is an instance of point in space (7) Z is located at X (8) Y is north of to Z (9) All of the following hold: (1) there don't exist W (2) V such that W is an instance of point in space (3) W is located at X (4) W is north of to Y (5) V is an instance of point in space (6) V is located at X (7) V is south of to Z (10) the distance between Y and Z is U mile(s), then the approximate value of U is 80 |
(=>
(and
(instance ?A PointInSpace)
(instance ?B PointInSpace)
(located ?A PeninsularRanges)
(located ?B PeninsularRanges)
(orientation ?A ?B North)
(not
(exists (?A1 ?B1)
(and
(instance ?A1 PointInSpace)
(located ?A1 PeninsularRanges)
(orientation ?A1 ?A North)
(instance ?B1 PointInSpace)
(located ?B1 PeninsularRanges)
(orientation ?B1 ?B South))))
(distance ?A ?B
(MeasureFn ?X Mile)))
(approximateValue ?X 930)) |
Geography.kif 1308-1326 |
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 Peninsular Ranges (4) Y is located at Peninsular Ranges (5) X is north 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 Peninsular Ranges (4) Z is north of to X (5) W is an instance of point in space (6) W is located at Peninsular Ranges (7) W is south of to Y (7) the distance between X and Y is V mile(s), then the approximate value of V is 930 |
(=>
(and
(instance ?A PointInSpace)
(instance ?B PointInSpace)
(located ?A SierraNevada)
(located ?B SierraNevada)
(orientation ?A ?B North)
(not
(exists (?A1 ?B1)
(and
(instance ?A1 PointInSpace)
(located ?A1 SierraNevada)
(orientation ?A1 ?A North)
(instance ?B1 PointInSpace)
(located ?B1 SierraNevada)
(orientation ?B1 ?B South))))
(distance ?A ?B
(MeasureFn ?X Mile)))
(approximateValue ?X 400)) |
Geography.kif 1338-1356 |
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 north 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 north of to X (5) W is an instance of point in space (6) W is located at Sierra Nevada (7) W is south of to Y (7) the distance between X and Y is V mile(s), then the approximate value of V is 400 |
(=>
(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 North)
(not
(exists (?A1 ?B1)
(and
(instance ?A1 PointInSpace)
(located ?A1 AndesMountains)
(orientation ?A1 ?A North)
(instance ?B1 PointInSpace)
(located ?B1 AndesMountains)
(orientation ?B1 ?B South))))
(distance ?A ?B
(MeasureFn ?X Mile)))
(approximateValue ?X 5500)) |
Geography.kif 1436-1454 |
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 north 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 north of to X (5) W is an instance of point in space (6) W is located at Andes Mountains (7) W is south of to Y (7) the distance between X and Y is V mile(s), then the approximate value of V is 5500 |
(=>
(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 ?M Marathon)
(agent ?M ?H)
(path ?M ?P)
(distanceOnPath
(MeasureFn ?N Mile) ?P))
(equal ?N 26.2)) |
Sports.kif 293-300 |
If X is an instance of marathon, Y is an agent of X, Z is path along which X occurs, and the distance of Z is W mile(s), then equal W and 26.2 |
(=>
(and
(instance ?M HalfMarathon)
(agent ?M ?H)
(path ?M ?P)
(distanceOnPath
(MeasureFn ?N Mile) ?P))
(equal ?N 13.1)) |
Sports.kif 307-314 |
If X is an instance of half_marathon, Y is an agent of X, Z is path along which X occurs, and the distance of Z is W mile(s), then equal W and 13.1 |
(=>
(and
(totalLengthOfRailwaySystem ?AREA
(MeasureFn ?LENGTH Mile))
(greaterThan ?LENGTH 0))
(exists (?RAILWAY)
(and
(instance ?RAILWAY Railway)
(located ?RAILWAY ?AREA)))) |
Transportation.kif 107-115 |
If X mile(s) is a total length of railway system of Y and X is greater than 0, then there exists Z such that Z is an instance of railway and Z is located at Y |
(=>
(and
(lengthOfElectrifiedRailway ?AREA
(MeasureFn ?LENGTH Mile))
(greaterThan ?LENGTH 0))
(exists (?RAILWAY)
(and
(instance ?RAILWAY ElectrifiedRailway)
(located ?RAILWAY ?AREA)))) |
Transportation.kif 135-143 |
If X mile(s) is a length of electrified railway of Y and X is greater than 0, then there exists Z such that Z is an instance of electrified railway and Z is located at Y |
(=>
(and
(lengthOfMultipleTrackRailway ?AREA
(MeasureFn ?LENGTH Mile))
(greaterThan ?LENGTH 0))
(exists (?RAILWAY)
(and
(instance ?RAILWAY MultipleTrackRailway)
(located ?RAILWAY ?AREA)))) |
Transportation.kif 163-171 |
If X mile(s) is a length of multiple track railway of Y and X is greater than 0, then there exists Z such that Z is an instance of multiple track railway and Z is located at Y |
Mile