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


KB Term:  Term intersection
English Word: 

Sigma KEE - GeographicNorthFn
GeographicNorthFn

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


(instance GeographicNorthFn UnaryFunction) Geography.kif 1697-1697 Geographic North is an instance of unary function
(domain GeographicNorthFn 1 GeographicArea) Geography.kif 1699-1699 The number 1 argument of geographic North is an instance of geographic area
(range GeographicNorthFn GeographicArea) Geography.kif 1700-1700 The range of geographic North is an instance of geographic area
(documentation GeographicNorthFn EnglishLanguage "(GeographicNorthFn ?REGION) denotes the northern half of the geographicSubregion of GeographicArea ?REGION.") Geography.kif 1701-1703 The range of geographic North is an instance of geographic area
(relatedInternalConcept GeographicNorthFn GeographicEastFn) Geography.kif 1705-1705 Geographic North is internally related to geographic east

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


(names "geographic north" GeographicNorthFn) Geography.kif 1698-1698 Geographic North has name "geographic north"
(termFormat EnglishLanguage GeographicNorthFn "geographic North") Geography.kif 1704-1704 Geographic North has name "geographic north"

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
            (GeographicNorthFn ?REGION) ?REGION)
        (geographicSubregion
            (GeographicEastFn ?REGION) ?REGION))
    (overlapsSpatially
        (GeographicNorthFn ?REGION)
        (GeographicEastFn ?REGION)))		 Geography.kif 1722-1727 If X is an instance of geographic area, geographic North X is a geographic subregion of X, and geographic east X is a geographic subregion of X, then geographic North X and geographic east X overlapsSpatially
(=>
    (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
            (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
            (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

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
            (GeographicNorthFn ?REGION) ?REGION)
        (geographicSubregion
            (GeographicEastFn ?REGION) ?REGION))
    (overlapsSpatially
        (GeographicNorthFn ?REGION)
        (GeographicEastFn ?REGION)))		 Geography.kif 1722-1727 If X is an instance of geographic area, geographic North X is a geographic subregion of X, and geographic east X is a geographic subregion of X, then geographic North X and geographic east X overlapsSpatially
(=>
    (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
            (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
            (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


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