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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - ElevationHighPointFn
ElevationHighPointFn

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


s__documentation(s__ElevationHighPointFn__m,s__EnglishLanguage,'"(ElevationHighPointFn ?AREA) denotes the area within the GeographicArea ?AREA that has the highest elevation."')

Geography.kif 1931-1933
s__domain(s__ElevationHighPointFn__m,n__1,s__GeographicArea)

Geography.kif 1928-1928 The number 1 argument of elevation high point is an instance of geographic area
s__instance(s__UnaryFunction,s__Class)

s__instance(s__ElevationHighPointFn__m,s__UnaryFunction)

Geography.kif 1927-1927 Elevation high point is an instance of unary function
s__range(s__ElevationHighPointFn__m,s__GeographicArea)

Geography.kif 1929-1929 The range of elevation high point is an instance of geographic area

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


s__format(s__ChineseLanguage,s__ElevationHighPointFn__m,'"%1 的 elevation 高点"')

domainEnglishFormat.kif 895-895
s__format(s__ChineseTraditionalLanguage,s__ElevationHighPointFn__m,'"%1 的 elevation 高點"')

domainEnglishFormat.kif 894-894
s__format(s__EnglishLanguage,s__ElevationHighPointFn__m,'"the elevation high point of %1"')

domainEnglishFormat.kif 893-893
s__termFormat(s__ChineseLanguage,s__ElevationHighPointFn__m,'"海拔高点"')

domainEnglishFormat.kif 21813-21813
s__termFormat(s__ChineseTraditionalLanguage,s__ElevationHighPointFn__m,'"海拔高點"')

domainEnglishFormat.kif 21812-21812
s__termFormat(s__EnglishLanguage,s__ElevationHighPointFn__m,'"elevation high point"')

domainEnglishFormat.kif 21811-21811

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


( ! [V__AREA,V__ELEV1] :
   ((s__instance(V__ELEV1,s__LengthMeasure) =>
       (((s__instance(V__AREA,s__GeographicArea) &
             s__geographicSubregion(s__ElevationHighPointFn(V__AREA)
          ,V__AREA)
         &
         s__elevation(s__ElevationHighPointFn(V__AREA)
      ,V__ELEV1))
   =>
   (~(( ? [V__OTHER, V__ELEV2] :
         ((s__instance(V__OTHER,s__GeographicArea) &
             s__instance(V__ELEV2,s__LengthMeasure) &
             (s__geographicSubregion(V__OTHER,V__AREA)
             &
             ~((V__OTHER = s__ElevationHighPointFn(V__AREA)))
           &
           s__elevation(V__OTHER,V__ELEV2)
         &
         s__greaterThan(V__ELEV2,V__ELEV1))))))))))
)
)

Geography.kif 1935-1946

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


( ! [V__AREA,V__ELEV1] :
   ((s__instance(V__ELEV1,s__LengthMeasure) =>
       (((s__instance(V__AREA,s__GeographicArea) &
             s__geographicSubregion(s__ElevationHighPointFn(V__AREA)
          ,V__AREA)
         &
         s__elevation(s__ElevationHighPointFn(V__AREA)
      ,V__ELEV1))
   =>
   (~(( ? [V__OTHER, V__ELEV2] :
         ((s__instance(V__OTHER,s__GeographicArea) &
             s__instance(V__ELEV2,s__LengthMeasure) &
             (s__geographicSubregion(V__OTHER,V__AREA)
             &
             ~((V__OTHER = s__ElevationHighPointFn(V__AREA)))
           &
           s__elevation(V__OTHER,V__ELEV2)
         &
         s__greaterThan(V__ELEV2,V__ELEV1))))))))))
)
)

Geography.kif 1935-1946