(=>
(and
(instance ?P PointInSpace)
(attribute ?P ?G))
(instance ?G GeometricPoint)) |
Mid-level-ontology.kif 27906-27910 |
If X is an instance of point in space and Y is an attribute of X, then Y is an instance of geometric point |
(=>
(and
(instance ?L1 LineInSpace)
(instance ?L2 LineInSpace)
(instance ?P1 PointInSpace)
(instance ?P2 PointInSpace)
(not
(equal ?P1 ?P2))
(part ?P1 ?L1)
(part ?P2 ?L1)
(part ?P1 ?L2)
(part ?P2 ?L2))
(equal ?L1 ?L2)) |
Mid-level-ontology.kif 27931-27943 |
If All of the following hold: (1) X is an instance of line in space (2) Y is an instance of line in space (3) Z is an instance of point in space (4) W is an instance of point in space (5) equal Z and W (6) Z is a part of X (7) W is a part of X (8) Z is a part of Y (9) W is a part of Y, then equal X and Y |
(=>
(and
(instance ?P1 PointInSpace)
(instance ?P2 PointInSpace)
(not
(equal ?P1 ?P2))
(instance ?L FiniteLineInSpace)
(part ?P1 ?L)
(part ?P2 ?L)
(endPointsOfLineInSpace ?P1 ?P2 ?L)
(length ?L
(MeasureFn ?X ?U))
(instance ?U UnitOfLength)
(distance ?P1 ?P2
(MeasureFn ?Y ?U)))
(equal ?X ?Y)) |
Mid-level-ontology.kif 27962-27977 |
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) equal X and Y (4) Z is an instance of finite line in space (5) X is a part of Z (6) Y is a part of Z (7) X and Y are end points of Z (8) the length of Z is W V(s) (9) V is an instance of unit of length (10) the distance between X and Y is U V(s), then equal W and U |
(=>
(and
(distanceOfParallelLinesInSpace ?L1 ?L2
(MeasureFn ?D ?U))
(instance ?U UnitOfLength)
(parallelLinesInSpace ?L1 ?L2)
(part ?P1 ?L1)
(instance ?P1 PointInSpace)
(part ?P2 ?L2)
(instance ?P2 PointInSpace)
(distance ?P1 ?P2
(MeasureFn ?X ?U)))
(lessThanOrEqualTo ?D ?X)) |
Mid-level-ontology.kif 28003-28015 |
If All of the following hold: (1) X Y(s) is the distance of the parallelLinesInSpace Z and W (2) Y is an instance of unit of length (3) Z and W are parallel (4) V is a part of Z (5) V is an instance of point in space (6) U is a part of W (7) U is an instance of point in space (8) the distance between V and U is T Y(s), then X is less than or equal to T |
(=>
(and
(instance ?A AstronomicalBody)
(approximateDiameter ?A
(MeasureFn ?D ?U))
(instance ?U UnitOfLength)
(instance ?P PointInSpace)
(part ?P ?A))
(exists (?C)
(and
(equal ?C
(CenterOfPlanetFn ?A))
(distance ?C ?P
(MeasureFn
(DivisionFn ?D 2.0) ?U))))) |
Mid-level-ontology.kif 28094-28108 |
If X is an instance of astronomical body, the approximate diameter of X is Y Z(s), Z is an instance of unit of length, W is an instance of point in space, and W is a part of X, then there exists V such that equal V and the centre of AstronomicalBody X is and the distance between V and W is Y and 2.0 Z(s) |
(=>
(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 |
