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


KB Term:  Term intersection
English Word: 

  GeographicCenterFn

 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

Show without tree

Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0.0-0a80e6c8 (2026-05-12) is open source software produced by Articulate Software and its partners