Browsing Interface : Welcome guest : log in		 [  Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - earthAltitude
earthAltitude

appearance as argument number 1
-------------------------


(documentation earthAltitude EnglishLanguage "The altitude of an object above the sea level of PlanetEarth") Geography.kif 2778-2779
(domain earthAltitude 1 Object) Geography.kif 2781-2781
(domain earthAltitude 2 PhysicalQuantity) Geography.kif 2782-2782
(instance earthAltitude BinaryPredicate) Geography.kif 2780-2780

appearance as argument number 2
-------------------------


(format ChineseLanguage earthAltitude "%1 是 %2 above 地表") domainEnglishFormat.kif 3295-3295
(format ChineseTraditionalLanguage earthAltitude "%1 是 %2 above 地表") domainEnglishFormat.kif 3294-3294
(format EnglishLanguage earthAltitude "%1 is %2 above the ground") domainEnglishFormat.kif 3293-3293

antecedent
-------------------------


(<=>
    (earthAltitude ?OBJ ?ALT)
    (and
        (altitude ?OBJ ?SEA ?ALT)
        (surface ?SEA PlanetEarth)))		 Geography.kif 2784-2788
(=>
    (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 4169-4179
(=>
    (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 3921-3932
(=>
    (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 4153-4163

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 4029-4040