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

Formal Language: 



KB Term:  Term intersection
English Word: 

  GeographicCenterFn

 Sigma KEE - GeographicCenterFn
GeographicCenterFn

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


(documentation GeographicCenterFn EnglishLanguage "(GeographicCenterFn ?REGION) denotes the geographical center of the GeographicArea ?REGION.") Geography.kif 338-340
(domain GeographicCenterFn 1 GeographicArea) Geography.kif 335-335 地理中心 的 1 数量 是 地理区域 的 instance
(instance GeographicCenterFn UnaryFunction) Geography.kif 333-333 地理中心 是 一元函数 的 instance
(range GeographicCenterFn GeographicArea) Geography.kif 336-336 地理中心 的 range 是 地理区域 的实例

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


(format ChineseLanguage GeographicCenterFn "%1 的 geographic 中心") domainEnglishFormat.kif 1093-1093
(format ChineseTraditionalLanguage GeographicCenterFn "%1 的 geographic 中心") domainEnglishFormat.kif 1092-1092
(format EnglishLanguage GeographicCenterFn "the geographic center of %1") domainEnglishFormat.kif 1091-1091
(names "geographic center" GeographicCenterFn) Geography.kif 334-334 地理中心 的名 是 "geographic center"
(termFormat ChineseLanguage GeographicCenterFn "地理中心") domainEnglishFormat.kif 25770-25770
(termFormat ChineseTraditionalLanguage GeographicCenterFn "地理中心") domainEnglishFormat.kif 25769-25769
(termFormat EnglishLanguage GeographicCenterFn "geographic center") domainEnglishFormat.kif 25768-25768

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


(=>
    (and
        (instance ?REGION GeographicArea)
        (instance
            (GeographicCenterFn ?REGION) GeographicArea))
    (geographicSubregion
        (GeographicCenterFn ?REGION) ?REGION))		 Geography.kif 342-346
(=>
    (and
        (instance ?REGION GeographicArea)
        (objectGeographicCoordinates
            (GeographicCenterFn ?REGION) ?LAT ?LONG))
    (objectGeographicCoordinates ?REGION ?LAT ?LONG))		 Geography.kif 348-353

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


(=>
    (and
        (instance ?DIRECTION DirectionalAttribute)
        (instance ?AREA GeographicArea)
        (instance
            (DirectionalSubregionFn ?DIRECTION ?AREA) GeographicArea))
    (orientation
        (DirectionalSubregionFn ?DIRECTION ?AREA)
        (GeographicCenterFn ?AREA) ?DIRECTION))		 Geography.kif 500-505
(=>
    (and
        (instance ?REGION GeographicArea)
        (instance
            (GeographicCenterFn ?REGION) GeographicArea))
    (geographicSubregion
        (GeographicCenterFn ?REGION) ?REGION))		 Geography.kif 342-346

statement
-------------------------


(objectGeographicCoordinates
    (GeographicCenterFn SouthernOcean)
    (LatitudeFn South
        (MeasureFn 65.0 AngularDegree)
        (MeasureFn 0.0 ArcMinute))
    (LongitudeFn East
        (MeasureFn 0.0 AngularDegree)
        (MeasureFn 0.0 ArcMinute)))		 Geography.kif 4662-4669 南部海洋 的 geographic 中心 是 对于 在 0.0 圆周角度 东 的 meridian 的 object 地理座标 65.0 圆周角度 的 region 南


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

Show without tree


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