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 2763-2764
(domain earthAltitude 1 Object)	Geography.kif 2766-2766	域 earthAltitude, 1 and Object
(domain earthAltitude 2 PhysicalQuantity)	Geography.kif 2767-2767	域 earthAltitude, 2 and PhysicalQuantity
(instance earthAltitude BinaryPredicate)	Geography.kif 2765-2765	例 earthAltitude and BinaryPredicate

appearance as argument number 2

(format ChineseLanguage earthAltitude "%1 是 %2 above 地表")	domainEnglishFormat.kif 3286-3286
(format ChineseTraditionalLanguage earthAltitude "%1 是 %2 above 地表")	domainEnglishFormat.kif 3285-3285
(format EnglishLanguage earthAltitude "%1 is %2 above the ground")	domainEnglishFormat.kif 3284-3284
(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 2769-2774	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 4317-4327	例 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 4069-4080	例 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 4301-4311	例 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 4177-4188

例 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 2781-2781

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

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

KB Term:			Term intersection

English Word: