(<=>
(earthAltitude ?OBJ ?ALT)
(exists (?SEA)
(and
(altitude ?OBJ ?SEA ?ALT)
(surface ?SEA PlanetEarth)))) |
Geography.kif 4213-4218 |
X is Y above the ground if, only if there exists Z such that the altitude of X relative to Z is Y, and Z is a surface of planet earth |
(=>
(and
(instance ?SEA Sea)
(top ?TOP ?SEA))
(altitude ?TOP SeaLevel
(MeasureFn 0.0 Meter))) |
Geography.kif 6307-6312 |
If X is an instance of sea and the top of X is Y, then the altitude of Y relative to sea level is 0.0 meter(s) |
(=>
(and
(instance ?SEA Sea)
(top ?TOP ?SEA))
(altitude ?TOP SeaLevel
(MeasureFn 0.0 FootLength))) |
Geography.kif 6314-6319 |
If X is an instance of sea and the top of X is Y, then the altitude of Y relative to sea level is 0.0 foot length(s) |
(=>
(and
(instance ?MEASURE Measuring)
(patient ?MEASURE ?OBJ)
(result ?MEASURE ?QUANTITY)
(instrument ?MEASURE ?ABSOLUTEMETER)
(instance ?ABSOLUTEMETER AbsoluteAltimeter))
(exists (?OBJ2)
(and
(altitude ?OBJ ?OBJ2 ?QUANTITY)
(surface ?OBJ2 PlanetEarth)))) |
MilitaryDevices.kif 1598-1608 |
If X is an instance of measuring, Y is a patient of X, Z is a result of X, W is an instrument for X, and W is an instance of absolute altimeter, then there exists V such that the altitude of Y relative to V is Z and V is a surface of planet earth |
(=>
(and
(instance ?MEASURE Measuring)
(patient ?MEASURE ?OBJ)
(result ?MEASURE ?QUANTITY)
(instrument ?MEASURE ?BAROMETER)
(instance ?BAROMETER BarometricAltimeter))
(altitude ?OBJ SeaLevel ?QUANTITY)) |
MilitaryDevices.kif 1634-1641 |
If X is an instance of measuring, Y is a patient of X, Z is a result of X, W is an instrument for X, and W is an instance of barometric altimeter, then the altitude of Y relative to sea level is Z |
(=>
(instance ?R ThreeDRadar)
(hasPurpose ?R
(exists (?D ?O ?A ?O ?L ?P)
(and
(instance ?D Discovering)
(instrument ?D ?R)
(destination ?D ?O)
(instance ?O Object)
(origin ?L ?O)
(instance ?L ReflectingLight)
(subProcess ?L ?D)
(destination ?L ?P)
(part ?P ?R)
(agent ?D ?A)
(instance ?A Human)
(knows ?A
(exists (?DIST ?DEG ?HIGH)
(and
(distance ?O ?P ?DIST)
(relativeBearing ?O ?P ?DEG)
(altitude ?O ?P ?HIGH)))))))) |
Transportation.kif 5316-5337 |
If X is an instance of three D radar, then All of the following hold: (1) X has the purpose there exist Y, Z,, , W,, , Z,, , V (2) U such that Y is an instance of discovering (3) X is an instrument for Y (4) Y ends up at Z (5) Z is an instance of object (6) V originates at Z (7) V is an instance of reflecting light (8) V is a subprocess of Y (9) V ends up at U (10) U is a part of X (11) W is an agent of Y (12) W is an instance of human (13) W knows there exist T, S (14) R such that the distance between Z (15) U is T (16) Z is relative bearing U for S (17) the altitude of Z relative to U is R |
(=>
(waveHeight ?WW ?X)
(exists (?WATER ?CREST ?TROUGH ?U)
(and
(instance ?WATER BodyOfWater)
(eventLocated ?WW ?WATER)
(part ?CREST ?WATER)
(part ?TROUGH ?WATER)
(distance ?CREST ?TROUGH ?X)
(not
(exists (?A ?AH)
(and
(part ?A ?WATER)
(altitude ?A ?CREST
(MeasureFn ?AH ?U))
(greaterThan ?AH 0.0))))
(not
(exists (?B ?BH)
(and
(part ?B ?WATER)
(altitude ?TROUGH ?B
(MeasureFn ?BH ?U))
(greaterThan ?BH 0.0))))))) |
Weather.kif 2730-2750 |
If The waveHeight of X Y., then there exist Z, W,, , V and U such that Z is an instance of body of water and X is located at Z and W is a part of Z and V is a part of Z and the distance between W and V is Y and there don't exist T and S such that T is a part of Z and the altitude of T relative to W is S U(s) and S is greater than 0.0 and there don't exist R and Q such that R is a part of Z and the altitude of V relative to R is Q U(s) and Q is greater than 0.0 |
altitude