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

Formal Language: 

KB Term:  Term intersection
English Word: 

Sigma KEE - earthAltitude

appearance as argument number 1

(documentation earthAltitude EnglishLanguage "The altitude of an object above the sea level of PlanetEarth") Geography.kif 2715-2716
(domain earthAltitude 1 Object) Geography.kif 2718-2718 domain earthAltitude, 1 and Object
(domain earthAltitude 2 PhysicalQuantity) Geography.kif 2719-2719 domain earthAltitude, 2 and PhysicalQuantity
(instance earthAltitude BinaryPredicate) Geography.kif 2717-2717 instance earthAltitude and BinaryPredicate

appearance as argument number 2

(format ChineseLanguage earthAltitude "%1 是 %2 above 地表") domainEnglishFormat.kif 3291-3291
(format ChineseTraditionalLanguage earthAltitude "%1 是 %2 above 地表") domainEnglishFormat.kif 3290-3290
(format EnglishLanguage earthAltitude "%1 is %2 above the ground") domainEnglishFormat.kif 3289-3289


    (earthAltitude ?OBJ ?ALT)
        (altitude ?OBJ ?SEA ?ALT)
        (surface ?SEA PlanetEarth)))
Geography.kif 2721-2725 earthAltitude Object and LengthMeasure altitude Object, SelfConnectedObject and LengthMeasure surface SelfConnectedObject and PlanetEarth
        (instance ?basin Basin)
        (instance ?area LandArea)
        (earthAltitude ?basin ?height1)
        (earthAltitude ?area ?height2)
        (orientation ?basin ?area Adjacent))
    (greaterThan ?height2 ?height1))
Geography.kif 4029-4036
        (instance ?place UndergroundArea)
        (earthAltitude ?place ?alt1)
        (surface ?ground PlanetEarth)
        (part ?area ?ground)
        (orientation ?place ?area Below)
        (earthAltitude ?area ?alt2))
    (greaterThan ?alt2 ?alt1))
Geography.kif 3794-3802
        (instance ?valley Valley)
        (instance ?area LandArea)
        (earthAltitude ?valley ?height1)
        (earthAltitude ?area ?height2)
        (orientation ?valley ?area Adjacent))
    (greaterThan ?height2 ?height1))
Geography.kif 4016-4023


    (instance ?incline SlopedArea)
    (exists (?top ?bottom ?height1 ?height2)
            (top ?top ?incline)
            (bottom ?bottom ?incline)
            (earthAltitude ?top ?height1)
            (earthAltitude ?bottom ?height2)
            (successorAttributeClosure ?height2 ?height1)
            (greaterThan ?height1 ?height2))))
Geography.kif 3899-3908