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


KB Term:  Term intersection
English Word: 

Sigma KEE - GeographicSouthFn
GeographicSouthFn

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


(instance GeographicSouthFn UnaryFunction) Geography.kif 1743-1743 Geographic South is an instance of unary function
(domain GeographicSouthFn 1 GeographicArea) Geography.kif 1745-1745 The number 1 argument of geographic South is an instance of geographic area
(range GeographicSouthFn GeographicArea) Geography.kif 1746-1746 The range of geographic South is an instance of geographic area
(documentation GeographicSouthFn EnglishLanguage "(GeographicSouthFn ?REGION) denotes the southern half of the geographicSubregion of GeographicArea ?REGION.") Geography.kif 1747-1749 The range of geographic South is an instance of geographic area
(relatedInternalConcept GeographicSouthFn GeographicWestFn) Geography.kif 1751-1751 Geographic South is internally related to geographic west

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


(names "geographic South" GeographicSouthFn) Geography.kif 1744-1744 Geographic South has name "geographic South"
(termFormat EnglishLanguage GeographicSouthFn "geographic South") Geography.kif 1750-1750 Geographic South has name "geographic South"

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


(=>
    (and
        (instance ?REGION GeographicArea)
        (geographicSubregion
            (GeographicNorthFn ?REGION) ?REGION)
        (geographicSubregion
            (GeographicSouthFn ?REGION) ?REGION))
    (orientation
        (GeographicNorthFn ?REGION)
        (GeographicSouthFn ?REGION) North))		 Geography.kif 1707-1712 If X is an instance of geographic area, geographic North X is a geographic subregion of X, and geographic South X is a geographic subregion of X, then geographic North X is north of to geographic South X
(=>
    (and
        (instance ?REGION GeographicArea)
        (geographicSubregion
            (GeographicNorthFn ?REGION) ?REGION)
        (geographicSubregion
            (GeographicSouthFn ?REGION) ?REGION))
    (not
        (overlapsSpatially
            (GeographicNorthFn ?REGION)
            (GeographicSouthFn ?REGION))))		 Geography.kif 1714-1720 If X is an instance of geographic area, geographic North X is a geographic subregion of X, and geographic South X is a geographic subregion of X, then geographic North X and geographic South X doesn't overlapsSpatially
(=>
    (and
        (instance ?REGION GeographicArea)
        (geographicSubregion
            (GeographicSouthFn ?REGION) ?REGION)
        (geographicSubregion
            (GeographicNorthFn ?REGION) ?REGION))
    (orientation
        (GeographicSouthFn ?REGION)
        (GeographicNorthFn ?REGION) South))		 Geography.kif 1753-1758 If X is an instance of geographic area, geographic South X is a geographic subregion of X, and geographic North X is a geographic subregion of X, then geographic South X is south of to geographic North X
(=>
    (and
        (instance ?REGION GeographicArea)
        (geographicSubregion
            (GeographicSouthFn ?REGION) ?REGION)
        (geographicSubregion
            (GeographicEastFn ?REGION) ?REGION))
    (overlapsSpatially
        (GeographicSouthFn ?REGION)
        (GeographicEastFn ?REGION)))		 Geography.kif 1760-1765 If X is an instance of geographic area, geographic South X is a geographic subregion of X, and geographic east X is a geographic subregion of X, then geographic South X and geographic east X overlapsSpatially
(=>
    (and
        (instance ?REGION GeographicArea)
        (geographicSubregion
            (GeographicSouthFn ?REGION) ?REGION)
        (geographicSubregion
            (GeographicWestFn ?REGION) ?REGION))
    (overlapsSpatially
        (GeographicSouthFn ?REGION)
        (GeographicWestFn ?REGION)))		 Geography.kif 1767-1772 If X is an instance of geographic area, geographic South X is a geographic subregion of X, and geographic west X is a geographic subregion of X, then geographic South X and geographic west 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

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


(=>
    (and
        (instance ?REGION GeographicArea)
        (geographicSubregion
            (GeographicNorthFn ?REGION) ?REGION)
        (geographicSubregion
            (GeographicSouthFn ?REGION) ?REGION))
    (orientation
        (GeographicNorthFn ?REGION)
        (GeographicSouthFn ?REGION) North))		 Geography.kif 1707-1712 If X is an instance of geographic area, geographic North X is a geographic subregion of X, and geographic South X is a geographic subregion of X, then geographic North X is north of to geographic South X
(=>
    (and
        (instance ?REGION GeographicArea)
        (geographicSubregion
            (GeographicNorthFn ?REGION) ?REGION)
        (geographicSubregion
            (GeographicSouthFn ?REGION) ?REGION))
    (not
        (overlapsSpatially
            (GeographicNorthFn ?REGION)
            (GeographicSouthFn ?REGION))))		 Geography.kif 1714-1720 If X is an instance of geographic area, geographic North X is a geographic subregion of X, and geographic South X is a geographic subregion of X, then geographic North X and geographic South X doesn't overlapsSpatially
(=>
    (and
        (instance ?REGION GeographicArea)
        (geographicSubregion
            (GeographicSouthFn ?REGION) ?REGION)
        (geographicSubregion
            (GeographicNorthFn ?REGION) ?REGION))
    (orientation
        (GeographicSouthFn ?REGION)
        (GeographicNorthFn ?REGION) South))		 Geography.kif 1753-1758 If X is an instance of geographic area, geographic South X is a geographic subregion of X, and geographic North X is a geographic subregion of X, then geographic South X is south of to geographic North X
(=>
    (and
        (instance ?REGION GeographicArea)
        (geographicSubregion
            (GeographicSouthFn ?REGION) ?REGION)
        (geographicSubregion
            (GeographicEastFn ?REGION) ?REGION))
    (overlapsSpatially
        (GeographicSouthFn ?REGION)
        (GeographicEastFn ?REGION)))		 Geography.kif 1760-1765 If X is an instance of geographic area, geographic South X is a geographic subregion of X, and geographic east X is a geographic subregion of X, then geographic South X and geographic east X overlapsSpatially
(=>
    (and
        (instance ?REGION GeographicArea)
        (geographicSubregion
            (GeographicSouthFn ?REGION) ?REGION)
        (geographicSubregion
            (GeographicWestFn ?REGION) ?REGION))
    (overlapsSpatially
        (GeographicSouthFn ?REGION)
        (GeographicWestFn ?REGION)))		 Geography.kif 1767-1772 If X is an instance of geographic area, geographic South X is a geographic subregion of X, and geographic west X is a geographic subregion of X, then geographic South X and geographic west 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