TreeView Knowledge Base Browser

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

Show simplified definition (without tree view)
Show simplified definition (with tree view)

KB Term:			Term intersection

English Word: