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 GeographicCenterFn の数値 1 引数は 地理的地域instance では %n
(instance GeographicCenterFn UnaryFunction) Geography.kif 333-333 GeographicCenterFn1変数関数instance では %n
(range GeographicCenterFn GeographicArea) Geography.kif 336-336 GeographicCenterFnrange地理的地域 のインスタンス では %n

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 GeographicCenterFn は "geographic center" の name を 持って %n{ない}
(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

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