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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - altitude
altitude

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


s__documentation(s__altitude__m,s__ChineseLanguage,'"这是一个 TernaryPredicate,它是用来表示一个 Objecttop 和这个 Object top 以下的另外一点 (通常这一点会是海平面)之间的 distance。注:这个 Predicate 可以用来指定例如地理特征的高度如山、飞机的高度和环绕地球的卫星轨道。"')

chinese_format.kif 2658-2660
s__documentation(s__altitude__m,s__EnglishLanguage,'"A TernaryPredicate that is used to state the distance between the top of an Object and another point that is below the top of the Object (often this other point will be sea level). Note that this Predicate can be used to specify, for example, the height of geographic features, e.g. mountains, the altitude of aircraft, and the orbit of satellites around the Earth."')

Merge.kif 7451-7457
s__domain(s__altitude__m,n__1,s__Physical)

Merge.kif 7447-7447 The number 1 argument of altitude is an instance of physical
s__domain(s__altitude__m,n__2,s__Physical)

Merge.kif 7448-7448 The number 2 argument of altitude is an instance of physical
s__domain(s__altitude__m,n__3,s__LengthMeasure)

Merge.kif 7449-7449 The number 3 argument of altitude is an instance of length measure
s__instance(s__altitude__m,s__PartialValuedRelation)

s__instance(s__PartialValuedRelation,s__SetOrClass)

Merge.kif 7446-7446 altitude is an instance of partial valued relation
s__instance(s__altitude__m,s__SingleValuedRelation)

s__instance(s__SingleValuedRelation,s__SetOrClass)

Merge.kif 7444-7444 altitude is an instance of single valued relation
s__instance(s__TernaryPredicate,s__SetOrClass)

s__instance(s__altitude__m,s__TernaryPredicate)

Merge.kif 7445-7445 altitude is an instance of ternary predicate

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


s__format(s__ChineseLanguage,s__altitude__m,'"%1 的 altitude %n 是 %2"')

chinese_format.kif 609-609
s__format(s__EnglishLanguage,s__altitude__m,'"the altitude of %1 is %n %2"')

english_format.kif 615-615
s__termFormat(s__ChineseLanguage,s__altitude__m,'"海拔"')

chinese_format.kif 610-610
s__termFormat(s__ChineseLanguage,s__altitude__m,'"高度"')

domainEnglishFormat.kif 7011-7011
s__termFormat(s__ChineseTraditionalLanguage,s__altitude__m,'"高度"')

domainEnglishFormat.kif 7010-7010
s__termFormat(s__EnglishLanguage,s__altitude__m,'"altitude"')

domainEnglishFormat.kif 7009-7009

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


( ! [V__OBJ2,V__AIRCRAFT,V__QUANTITY] :
   (((s__instance(V__OBJ2,s__SelfConnectedObject) &
         s__instance(V__QUANTITY,s__AltitudeMeasure))
       =>
       ((((s__altitude(V__AIRCRAFT,V__OBJ2,V__QUANTITY)
             &
             s__surface(V__OBJ2,s__PlanetEarth) &
             s__instance(V__AIRCRAFT,s__Aircraft))
           =>
           s__absoluteHeight(V__AIRCRAFT,V__QUANTITY))
       &
       (s__absoluteHeight(V__AIRCRAFT,V__QUANTITY)
       =>
       (s__altitude(V__AIRCRAFT,V__OBJ2,V__QUANTITY)
       &
       s__surface(V__OBJ2,s__PlanetEarth) &
       s__instance(V__AIRCRAFT,s__Aircraft))))))
)
)

MilitaryDevices.kif 1462-1467 The altitude of an aircraft is a self connected object and the self connected object is a surface of planet earth and the aircraft is an instance of aircraft if and only if an altitude measure is the absolute height of the aircraft
( ! [V__HEIGHT,V__OBJ1,V__OBJ2] :
   (((s__instance(V__HEIGHT,s__LengthMeasure) &
         s__instance(V__OBJ1,s__SelfConnectedObject) &
         s__instance(V__OBJ2,s__Physical))
       =>
       ((s__altitude(V__OBJ1,V__OBJ2,V__HEIGHT)
         =>
         (( ? [V__TOP] :
             ((s__instance(V__TOP,s__SelfConnectedObject) &
                 (s__top(V__TOP,V__OBJ1)
                 &
                 s__distance(V__TOP,V__OBJ2,V__HEIGHT)))))))))
)
)

Merge.kif 7463-7468
( ! [V__HEIGHT,V__OBJ1,V__OBJ2] :
   (((s__instance(V__HEIGHT,s__LengthMeasure) &
         s__instance(V__OBJ1,s__Object) &
         s__instance(V__OBJ2,s__Object))
       =>
       ((s__altitude(V__OBJ1,V__OBJ2,V__HEIGHT)
         =>
         (s__orientation(V__OBJ1,V__OBJ2,s__Above)))))
   )
)

Merge.kif 7459-7461
( ! [V__Q,V__OBJ1,V__OBJ2] :
   (((s__instance(V__Q,s__LengthMeasure) &
         s__instance(V__OBJ1,s__Physical) &
         s__instance(V__OBJ2,s__Physical))
       =>
       ((s__altitude(V__OBJ1,V__OBJ2,V__Q)
         =>
         (s__distance(V__OBJ1,V__OBJ2,V__Q)))))
)
)

Merge.kif 7440-7442

consequent
-------------------------


( ! [V__OBJ,V__ALT,V__SEA] :
   (((s__instance(V__OBJ,s__Object) &
         s__instance(V__ALT,s__LengthMeasure) &
         s__instance(V__SEA,s__SelfConnectedObject))
       =>
       (((s__earthAltitude(V__OBJ,V__ALT)
           =>
           (s__altitude(V__OBJ,V__SEA,V__ALT)
           &
           s__surface(V__SEA,s__PlanetEarth)))
       &
       ((s__altitude(V__OBJ,V__SEA,V__ALT)
         &
         s__surface(V__SEA,s__PlanetEarth))
       =>
       s__earthAltitude(V__OBJ,V__ALT)))))
)
)

Geography.kif 2743-2747 An object is a length measure above the ground if and only if the altitude of the object is a self connected object and the self connected object is a surface of planet earth
( ! [V__ABSOLUTEMETER,V__OBJ,V__MEASURE,V__QUANTITY] :
   (((s__instance(V__OBJ,s__Physical) &
         s__instance(V__QUANTITY,s__LengthMeasure))
       =>
       (((s__instance(V__MEASURE,s__Measuring) &
             s__patient(V__MEASURE,V__OBJ)
           &
           s__result(V__MEASURE,V__QUANTITY)
         &
         s__instrument(V__MEASURE,V__ABSOLUTEMETER)
       &
       s__instance(V__ABSOLUTEMETER,s__AbsoluteAltimeter))
     =>
     (( ? [V__OBJ2] :
         ((s__instance(V__OBJ2,s__SelfConnectedObject) &
             (s__altitude(V__OBJ,V__OBJ2,V__QUANTITY)
             &
             s__surface(V__OBJ2,s__PlanetEarth)))))))))
)
)

MilitaryDevices.kif 1441-1451
( ! [V__BAROMETER,V__OBJ,V__MEASURE,V__QUANTITY] :
   (((s__instance(V__OBJ,s__Physical) &
         s__instance(V__QUANTITY,s__LengthMeasure))
       =>
       (((s__instance(V__MEASURE,s__Measuring) &
             s__patient(V__MEASURE,V__OBJ)
           &
           s__result(V__MEASURE,V__QUANTITY)
         &
         s__instrument(V__MEASURE,V__BAROMETER)
       &
       s__instance(V__BAROMETER,s__BarometricAltimeter))
     =>
     (s__altitude(V__OBJ,s__SeaLevel,V__QUANTITY)))))
)
)

MilitaryDevices.kif 1477-1484
( ! [V__TOP,V__SEA] :
   ((s__instance(V__TOP,s__SelfConnectedObject) =>
       (((s__instance(V__SEA,s__Sea) &
             s__top(V__TOP,V__SEA))
         =>
         (s__altitude(V__TOP,s__SeaLevel,s__MeasureFn(n__0,s__FootLength))))))
)
)

Geography.kif 4562-4566
( ! [V__TOP,V__SEA] :
   ((s__instance(V__TOP,s__SelfConnectedObject) =>
       (((s__instance(V__SEA,s__Sea) &
             s__top(V__TOP,V__SEA))
         =>
         (s__altitude(V__TOP,s__SeaLevel,s__MeasureFn(n__0,s__Meter))))))
)
)

Geography.kif 4556-4560
( ! [V__U,V__X,V__WW] :
   (((s__instance(V__U,s__UnitOfMeasure) &
         s__instance(V__X,s__LengthMeasure) &
         s__instance(V__WW,s__WaterWave))
       =>
       ((s__waveHeight(V__WW,V__X)
         =>
         (( ? [V__WATER, V__CREST, V__TROUGH] :
             ((s__instance(V__CREST,s__Object) &
                 s__instance(V__TROUGH,s__Object) &
                 (s__instance(V__WATER,s__BodyOfWater) &
                   s__eventLocated(V__WW,V__WATER)
                 &
                 s__part(V__CREST,V__WATER)
               &
               s__part(V__TROUGH,V__WATER)
             &
             s__distance(V__CREST,V__TROUGH,V__X)
           &
           ~(( ? [V__A, V__AH] :
               ((s__instance(V__A,s__Object) &
                   s__instance(V__AH,s__RealNumber) &
                   (s__part(V__A,V__WATER)
                   &
                   s__altitude(V__A,V__CREST,s__MeasureFn(V__AH,V__U))
               &
               s__greaterThan(V__AH,n__0))))))
   &
   ~(( ? [V__B, V__BH] :
       ((s__instance(V__B,s__Object) &
           s__instance(V__BH,s__RealNumber) &
           (s__part(V__B,V__WATER)
           &
           s__altitude(V__TROUGH,V__B,s__MeasureFn(V__BH,V__U))
       &
       s__greaterThan(V__BH,n__0))))))))))))))
)
)

Weather.kif 1419-1439


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



Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners