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


KB Term:  Term intersection
English Word: 

Sigma KEE - GeographicWestFn
GeographicWestFn

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


(instance GeographicWestFn UnaryFunction) Geography.kif 1812-1812 Geographic west is an instance of unary function
(domain GeographicWestFn 1 GeographicArea) Geography.kif 1814-1814 The number 1 argument of geographic west is an instance of geographic area
(range GeographicWestFn GeographicArea) Geography.kif 1815-1815 The range of geographic west is an instance of geographic area
(documentation GeographicWestFn EnglishLanguage "(GeographicWestFn ?REGION) denotes the western half of the geographicSubregion of GeographicArea ?REGION.") Geography.kif 1816-1818 The range of geographic west is an instance of geographic area

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


(relatedInternalConcept GeographicSouthFn GeographicWestFn) Geography.kif 1751-1751 Geographic South is internally related to geographic west
(names "geographic west" GeographicWestFn) Geography.kif 1813-1813 Geographic west has name "geographic west"
(termFormat EnglishLanguage GeographicWestFn "geographic west") Geography.kif 1819-1819 Geographic west has name "geographic west"

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


(=>
    (and
        (instance ?REGION GeographicArea)
        (geographicSubregion
            (GeographicNorthFn ?REGION) ?REGION)
        (geographicSubregion
            (GeographicWestFn ?REGION) ?REGION))
    (overlapsSpatially
        (GeographicNorthFn ?REGION)
        (GeographicWestFn ?REGION)))		 Geography.kif 1729-1734 If X is an instance of geographic area, geographic North X is a geographic subregion of X, and geographic west X is a geographic subregion of X, then geographic North X and geographic west 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
            (GeographicEastFn ?REGION) ?REGION)
        (geographicSubregion
            (GeographicWestFn ?REGION) ?REGION))
    (orientation
        (GeographicEastFn ?REGION)
        (GeographicWestFn ?REGION) East))		 Geography.kif 1790-1795 If X is an instance of geographic area, geographic east X is a geographic subregion of X, and geographic west X is a geographic subregion of X, then geographic east X is east of to geographic west X
(=>
    (and
        (instance ?REGION GeographicArea)
        (geographicSubregion
            (GeographicEastFn ?REGION) ?REGION)
        (geographicSubregion
            (GeographicWestFn ?REGION) ?REGION))
    (not
        (overlapsSpatially
            (GeographicEastFn ?REGION)
            (GeographicWestFn ?REGION))))		 Geography.kif 1797-1803 If X is an instance of geographic area, geographic east X is a geographic subregion of X, and geographic west X is a geographic subregion of X, then geographic east X and geographic west X doesn't overlapsSpatially
(=>
    (and
        (instance ?REGION GeographicArea)
        (geographicSubregion
            (GeographicWestFn ?REGION) ?REGION)
        (geographicSubregion
            (GeographicEastFn ?REGION) ?REGION))
    (orientation
        (GeographicWestFn ?REGION)
        (GeographicEastFn ?REGION) West))		 Geography.kif 1821-1826 If X is an instance of geographic area, geographic west X is a geographic subregion of X, and geographic east X is a geographic subregion of X, then geographic west X is west of to geographic east X
(=>
    (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)
        (geographicSubregion
            (GeographicNorthFn ?REGION) ?REGION)
        (geographicSubregion
            (GeographicWestFn ?REGION) ?REGION))
    (overlapsSpatially
        (GeographicNorthFn ?REGION)
        (GeographicWestFn ?REGION)))		 Geography.kif 1729-1734 If X is an instance of geographic area, geographic North X is a geographic subregion of X, and geographic west X is a geographic subregion of X, then geographic North X and geographic west 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
            (GeographicEastFn ?REGION) ?REGION)
        (geographicSubregion
            (GeographicWestFn ?REGION) ?REGION))
    (orientation
        (GeographicEastFn ?REGION)
        (GeographicWestFn ?REGION) East))		 Geography.kif 1790-1795 If X is an instance of geographic area, geographic east X is a geographic subregion of X, and geographic west X is a geographic subregion of X, then geographic east X is east of to geographic west X
(=>
    (and
        (instance ?REGION GeographicArea)
        (geographicSubregion
            (GeographicEastFn ?REGION) ?REGION)
        (geographicSubregion
            (GeographicWestFn ?REGION) ?REGION))
    (not
        (overlapsSpatially
            (GeographicEastFn ?REGION)
            (GeographicWestFn ?REGION))))		 Geography.kif 1797-1803 If X is an instance of geographic area, geographic east X is a geographic subregion of X, and geographic west X is a geographic subregion of X, then geographic east X and geographic west X doesn't overlapsSpatially
(=>
    (and
        (instance ?REGION GeographicArea)
        (geographicSubregion
            (GeographicWestFn ?REGION) ?REGION)
        (geographicSubregion
            (GeographicEastFn ?REGION) ?REGION))
    (orientation
        (GeographicWestFn ?REGION)
        (GeographicEastFn ?REGION) West))		 Geography.kif 1821-1826 If X is an instance of geographic area, geographic west X is a geographic subregion of X, and geographic east X is a geographic subregion of X, then geographic west X is west of to geographic east X
(=>
    (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


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