Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| altitude |
| appearance as argument number 1 |
|
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage altitude "altitude") | domainEnglishFormat.kif 7001-7001 | |
| (termFormat ChineseTraditionalLanguage altitude "高度") | domainEnglishFormat.kif 7002-7002 | |
| (termFormat ChineseLanguage altitude "高度") | domainEnglishFormat.kif 7003-7003 | |
| (format EnglishLanguage altitude "the altitude of %1 relative to %2 is %n %3") | english_format.kif 612-612 |
| antecedent |
|
|
| (=> (altitude ?OBJ1 ?OBJ2 ?Q) (distance ?OBJ1 ?OBJ2 ?Q)) |
Merge.kif 7872-7874 | If the altitude of X relative to Y is Z, then the distance between X and Y is Z |
| (=> (altitude ?OBJ1 ?OBJ2 ?HEIGHT) (orientation ?OBJ1 ?OBJ2 Above)) |
Merge.kif 7891-7893 | If the altitude of X relative to Y is Z, then X is above to Y |
| (=> (altitude ?OBJ1 ?OBJ2 ?HEIGHT) (exists (?TOP) (and (top ?TOP ?OBJ1) (distance ?TOP ?OBJ2 ?HEIGHT)))) |
Merge.kif 7895-7900 | If the altitude of X relative to Y is Z, then there exists W such that the top of X is W, the distance between W, and Y is Z |
| (<=> (and (altitude ?AIRCRAFT ?OBJ2 ?QUANTITY) (surface ?OBJ2 PlanetEarth) (instance ?AIRCRAFT Aircraft)) (absoluteHeight ?AIRCRAFT ?QUANTITY)) |
MilitaryDevices.kif 1619-1624 | The altitude of X relative to Y is Z, Y is a surface of planet earth, X is an instance of aircraft if, and only if Z is the absolute height of X |
| consequent |
|
|
| (<=> (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 |
|