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

KB Term:  Term intersection
English Word: 

Sigma KEE - GeographicCenterFn
GeographicCenterFn

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


(instance GeographicCenterFn UnaryFunction) Geography.kif 1675-1675 Geographic center is an instance of unary function
(domain GeographicCenterFn 1 GeographicArea) Geography.kif 1677-1677 The number 1 argument of geographic center is an instance of geographic area
(range GeographicCenterFn GeographicArea) Geography.kif 1678-1678 The range of geographic center is an instance of geographic area
(documentation GeographicCenterFn EnglishLanguage "(GeographicCenterFn ?REGION) denotes the geographical center of the GeographicArea ?REGION.") Geography.kif 1680-1682 The range of geographic center is an instance of geographic area

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


(names "geographic center" GeographicCenterFn) Geography.kif 1676-1676 Geographic center has name "geographic center"
(format EnglishLanguage GeographicCenterFn "the geographic center of %1") domainEnglishFormat.kif 1091-1091 Geographic center has name "geographic center"
(format ChineseTraditionalLanguage GeographicCenterFn "%1 的 geographic 中心") domainEnglishFormat.kif 1092-1092 Geographic center has name "geographic center"
(format ChineseLanguage GeographicCenterFn "%1 的 geographic 中心") domainEnglishFormat.kif 1093-1093 Geographic center has name "geographic center"
(termFormat EnglishLanguage GeographicCenterFn "geographic center") domainEnglishFormat.kif 25772-25772 Geographic center has name "geographic center"
(termFormat ChineseTraditionalLanguage GeographicCenterFn "地理中心") domainEnglishFormat.kif 25773-25773 Geographic center has name "geographic center"
(termFormat ChineseLanguage GeographicCenterFn "地理中心") domainEnglishFormat.kif 25774-25774 Geographic center has name "geographic center"

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


(=>
    (and
        (instance ?REGION GeographicArea)
        (instance
            (GeographicCenterFn ?REGION) GeographicArea))
    (geographicSubregion
        (GeographicCenterFn ?REGION) ?REGION))		 Geography.kif 1684-1688 If X is an instance of geographic area and the geographic center of X is an instance of geographic area, then the geographic center of X is a geographic subregion of X
(=>
    (and
        (instance ?REGION GeographicArea)
        (objectGeographicCoordinates
            (GeographicCenterFn ?REGION) ?LAT ?LONG))
    (objectGeographicCoordinates ?REGION ?LAT ?LONG))		 Geography.kif 1690-1695 If X is an instance of geographic area and the geographic center of X is object geographic coordinates Y for Z, then X is object geographic coordinates Y for Z
(=>
    (and
        (instance ?REGION GeographicArea)
        (geographicSubregion
            (GeographicNorthFn ?REGION) ?REGION)
        (geographicSubregion
            (GeographicCenterFn ?REGION) ?REGION))
    (overlapsSpatially
        (GeographicNorthFn ?REGION)
        (GeographicCenterFn ?REGION)))		 Geography.kif 1736-1741 If X is an instance of geographic area, geographic North X is a geographic subregion of X, and the geographic center of X is a geographic subregion of X, then geographic North X and the geographic center of X overlapsSpatially
(=>
    (and
        (instance ?REGION GeographicArea)
        (geographicSubregion
            (GeographicSouthFn ?REGION) ?REGION)
        (geographicSubregion
            (GeographicCenterFn ?REGION) ?REGION))
    (overlapsSpatially
        (GeographicSouthFn ?REGION)
        (GeographicCenterFn ?REGION)))		 Geography.kif 1774-1779 If X is an instance of geographic area, geographic South X is a geographic subregion of X, and the geographic center of X is a geographic subregion of X, then geographic South X and the geographic center of X overlapsSpatially
(=>
    (and
        (instance ?REGION GeographicArea)
        (geographicSubregion
            (GeographicEastFn ?REGION) ?REGION)
        (geographicSubregion
            (GeographicCenterFn ?REGION) ?REGION))
    (overlapsSpatially
        (GeographicEastFn ?REGION)
        (GeographicCenterFn ?REGION)))		 Geography.kif 1805-1810 If X is an instance of geographic area, geographic east X is a geographic subregion of X, and the geographic center of X is a geographic subregion of X, then geographic east X and the geographic center of X overlapsSpatially
(=>
    (and
        (instance ?REGION GeographicArea)
        (geographicSubregion
            (GeographicWestFn ?REGION) ?REGION)
        (geographicSubregion
            (GeographicCenterFn ?REGION) ?REGION))
    (overlapsSpatially
        (GeographicWestFn ?REGION)
        (GeographicCenterFn ?REGION)))		 Geography.kif 1828-1833 If X is an instance of geographic area, geographic west X is a geographic subregion of X, and the geographic center of X is a geographic subregion of X, then geographic west X and the geographic center of X overlapsSpatially

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


(=>
    (and
        (instance ?REGION GeographicArea)
        (instance
            (GeographicCenterFn ?REGION) GeographicArea))
    (geographicSubregion
        (GeographicCenterFn ?REGION) ?REGION))		 Geography.kif 1684-1688 If X is an instance of geographic area and the geographic center of X is an instance of geographic area, then the geographic center of X is a geographic subregion of X
(=>
    (and
        (instance ?REGION GeographicArea)
        (geographicSubregion
            (GeographicNorthFn ?REGION) ?REGION)
        (geographicSubregion
            (GeographicCenterFn ?REGION) ?REGION))
    (overlapsSpatially
        (GeographicNorthFn ?REGION)
        (GeographicCenterFn ?REGION)))		 Geography.kif 1736-1741 If X is an instance of geographic area, geographic North X is a geographic subregion of X, and the geographic center of X is a geographic subregion of X, then geographic North X and the geographic center of X overlapsSpatially
(=>
    (and
        (instance ?REGION GeographicArea)
        (geographicSubregion
            (GeographicSouthFn ?REGION) ?REGION)
        (geographicSubregion
            (GeographicCenterFn ?REGION) ?REGION))
    (overlapsSpatially
        (GeographicSouthFn ?REGION)
        (GeographicCenterFn ?REGION)))		 Geography.kif 1774-1779 If X is an instance of geographic area, geographic South X is a geographic subregion of X, and the geographic center of X is a geographic subregion of X, then geographic South X and the geographic center of X overlapsSpatially
(=>
    (and
        (instance ?REGION GeographicArea)
        (geographicSubregion
            (GeographicEastFn ?REGION) ?REGION)
        (geographicSubregion
            (GeographicCenterFn ?REGION) ?REGION))
    (overlapsSpatially
        (GeographicEastFn ?REGION)
        (GeographicCenterFn ?REGION)))		 Geography.kif 1805-1810 If X is an instance of geographic area, geographic east X is a geographic subregion of X, and the geographic center of X is a geographic subregion of X, then geographic east X and the geographic center of X overlapsSpatially
(=>
    (and
        (instance ?REGION GeographicArea)
        (geographicSubregion
            (GeographicWestFn ?REGION) ?REGION)
        (geographicSubregion
            (GeographicCenterFn ?REGION) ?REGION))
    (overlapsSpatially
        (GeographicWestFn ?REGION)
        (GeographicCenterFn ?REGION)))		 Geography.kif 1828-1833 If X is an instance of geographic area, geographic west X is a geographic subregion of X, and the geographic center of X is a geographic subregion of X, then geographic west X and the geographic center of X overlapsSpatially
(=>
    (and
        (instance ?DIRECTION DirectionalAttribute)
        (instance ?AREA GeographicArea)
        (instance
            (DirectionalSubregionFn ?DIRECTION ?AREA) GeographicArea))
    (orientation
        (DirectionalSubregionFn ?DIRECTION ?AREA)
        (GeographicCenterFn ?AREA) ?DIRECTION))		 Geography.kif 1976-1981 If X is an instance of directional attribute, Y is an instance of geographic area, and the directional subregion of X and Y is an instance of geographic area, then the directional subregion of X and Y is X to the geographic center of Y

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 6204-6211 The geographic center of southern ocean is object geographic coordinates the region south of of 65.0 angular degree(s) for the meridian at 0.0 angular degree(s) east of


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.0-ac69cf7a (2026-05-13) is open source software produced by Articulate Software and its partners