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

Formal Language: 



KB Term:  Term intersection
English Word: 

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 The number 1 argument of geographic center is an instance of geographic area
(instance GeographicCenterFn UnaryFunction) Geography.kif 333-333 Geographic center is an instance of unary function
(range GeographicCenterFn GeographicArea) Geography.kif 336-336 The range of geographic center is an instance of geographic area

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 has name "geographic center"
(termFormat ChineseLanguage GeographicCenterFn "地理中心") domainEnglishFormat.kif 25693-25693
(termFormat ChineseTraditionalLanguage GeographicCenterFn "地理中心") domainEnglishFormat.kif 25692-25692
(termFormat EnglishLanguage GeographicCenterFn "geographic center") domainEnglishFormat.kif 25691-25691

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 AngularDegree)
        (MeasureFn 0 ArcMinute))
    (LongitudeFn East
        (MeasureFn 0 AngularDegree)
        (MeasureFn 0 ArcMinute)))
Geography.kif 4390-4392 The geographic center of southern ocean is object geographic coordinates the region south of 65 angular degree(s) for the meridian at 0 angular degree(s) east


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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners