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 2775-2776
(domain earthAltitude 1 Object)	Geography.kif 2778-2778	域 earthAltitude, 1 and Object
(domain earthAltitude 2 PhysicalQuantity)	Geography.kif 2779-2779	域 earthAltitude, 2 and PhysicalQuantity
(instance earthAltitude BinaryPredicate)	Geography.kif 2777-2777	例 earthAltitude and BinaryPredicate

appearance as argument number 2

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

antecedent

(<=> (earthAltitude ?OBJ ?ALT) (exists (?SEA) (and (altitude ?OBJ ?SEA ?ALT) (surface ?SEA PlanetEarth))))	Geography.kif 2781-2786	Object 是 LengthMeasure above 地表 SelfConnectedObject 高度 Object, SelfConnectedObject and LengthMeasure 表面 SelfConnectedObject and 行星地球
(=> (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 4247-4257	例 Object and 盆地例 Object and LandArea 例 UnitOfMeasure and UnitOfLength Object 是測量 RealNumber and UnitOfMeasure above 地表 Object 是測量 RealNumber and UnitOfMeasure above 地表方位 Object, Object and 鄰比較多 RealNumber and RealNumber
(=> (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 3999-4010	例 Object and 地下區域例 UnitOfMeasure and UnitOfLength Object 是測量 RealNumber and UnitOfMeasure above 地表表面 SelfConnectedObject and 行星地球部分 Object and SelfConnectedObject 方位 Object, Object and 下面 Object 是測量 RealNumber and UnitOfMeasure above 地表比較多 RealNumber and RealNumber
(=> (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 4231-4241	例 Object and 谷例 Object and LandArea 例 UnitOfMeasure and UnitOfLength Object 是測量 RealNumber and UnitOfMeasure above 地表 Object 是測量 RealNumber and UnitOfMeasure above 地表方位 Object, Object and 鄰比較多 RealNumber and RealNumber

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 4107-4118

例 SelfConnectedObject and 傾斜的區域
SelfConnectedObject SelfConnectedObject, RealNumber, RealNumber and UnitOfMeasure 上 SelfConnectedObject and SelfConnectedObject 底部 SelfConnectedObject and SelfConnectedObject 例 UnitOfMeasure and UnitOfLength SelfConnectedObject 是測量 RealNumber and UnitOfMeasure above 地表 SelfConnectedObject 是測量 RealNumber and UnitOfMeasure above 地表比較多 RealNumber and RealNumber

appearance as argument number 0

(earthAltitude OzoneShield
(MeasureFn 25.0 Mile))

Geography.kif 2793-2793

臭氧盾是測量 25.0 and 英里 above 地表

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

KB Term:			Term intersection

English Word: