Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| earthAltitude |
| appearance as argument number 1 |
|
| (documentation earthAltitude EnglishLanguage "The altitude of an object above the sea level of PlanetEarth") | Geography.kif 4207-4208 | |
| (instance earthAltitude BinaryPredicate) | Geography.kif 4209-4209 | earth altitude is an instance of binary predicate |
| (domain earthAltitude 1 Object) | Geography.kif 4210-4210 | The number 1 argument of earth altitude is an instance of object |
| (domain earthAltitude 2 PhysicalQuantity) | Geography.kif 4211-4211 | The number 2 argument of earth altitude is an instance of physical quantity |
| appearance as argument number 2 |
|
|
| (format EnglishLanguage earthAltitude "%1 is %2 above the ground") | domainEnglishFormat.kif 3284-3284 | |
| (format ChineseTraditionalLanguage earthAltitude "%1 是 %2 above 地表") | domainEnglishFormat.kif 3285-3285 | |
| (format ChineseLanguage earthAltitude "%1 是 %2 above 地表") | domainEnglishFormat.kif 3286-3286 | |
| (termFormat EnglishLanguage earthAltitude "earth altitude") | domainEnglishFormat.kif 65826-65826 |
| antecedent |
|
|
| (<=> (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 ?place UndergroundArea) (instance ?U UnitOfLength) (earthAltitude ?place (MeasureFn ?alt1 ?U)) (surface ?ground PlanetEarth) (part ?area ?ground) (orientation ?place ?area Below) (earthAltitude ?area (MeasureFn ?alt2 ?U))) (greaterThan ?alt2 ?alt1)) |
Geography.kif 5512-5523 | If All of the following hold: (1) X is an instance of underground area (2) Y is an instance of unit of length (3) X is Z Y(s) above the ground (4) W is a surface of planet earth (5) V is a part of W (6) X is below to V (7) V is U Y(s) above the ground, then U is greater than Z |
| (=> (and (instance ?valley Valley) (instance ?area LandArea) (instance ?U UnitOfLength) (earthAltitude ?valley (MeasureFn ?height1 ?U)) (earthAltitude ?area (MeasureFn ?height2 ?U)) (orientation ?valley ?area Adjacent)) (greaterThan ?height2 ?height1)) |
Geography.kif 5735-5745 | If All of the following hold: (1) X is an instance of valley (2) Y is an instance of land area (3) Z is an instance of unit of length (4) X is W Z(s) above the ground (5) Y is V Z(s) above the ground (6) X is adjacent to Y, then V is greater than W |
| (=> (and (instance ?basin Basin) (instance ?area LandArea) (instance ?U UnitOfLength) (earthAltitude ?basin (MeasureFn ?height1 ?U)) (earthAltitude ?area (MeasureFn ?height2 ?U)) (orientation ?basin ?area Adjacent)) (greaterThan ?height2 ?height1)) |
Geography.kif 5751-5761 | If All of the following hold: (1) X is an instance of basin (2) Y is an instance of land area (3) Z is an instance of unit of length (4) X is W Z(s) above the ground (5) Y is V Z(s) above the ground (6) X is adjacent to Y, then V is greater than W |
| consequent |
|
|
| (=> (instance ?incline SlopedArea) (exists (?top ?bottom ?height1 ?height2 ?U) (and (top ?top ?incline) (bottom ?bottom ?incline) (instance ?U UnitOfLength) (earthAltitude ?top (MeasureFn ?height1 ?U)) (earthAltitude ?bottom (MeasureFn ?height2 ?U)) (greaterThan ?height1 ?height2)))) |
Geography.kif 5611-5622 | If X is an instance of sloped area, then there exist Y, Z,, , W,, , V and U such that the top of X is Y and the bottom of X is Z and U is an instance of unit of length and Y is W U(s) above the ground and Z is V U(s) above the ground and W is greater than V |
| appearance as argument number 0 |
|
|
| (earthAltitude OzoneShield (MeasureFn 25.0 Mile)) |
Geography.kif 4225-4225 | Ozone shield is 25.0 mile(s) above the ground |
|