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

KB Term:  Term intersection
English Word: 

Sigma KEE - North
North

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


(instance North DirectionalAttribute) Merge.kif 17365-17365
(contraryAttribute North South East West) Merge.kif 17366-17366
(documentation North EnglishLanguage "The compass direction of North.") Merge.kif 17367-17367
(oppositeDirection North South) Mid-level-ontology.kif 20067-20067
(externalImage North "http://articulatesoftware.com/SUMOpictures/tools/miscellaneous/ compass.png") pictureList.kif 1869-1869

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


(termFormat EnglishLanguage North "north of") domainEnglishFormat.kif 40951-40951
(termFormat ChineseTraditionalLanguage North "北") domainEnglishFormat.kif 40952-40952
(termFormat ChineseLanguage North "北") domainEnglishFormat.kif 40953-40953

appearance as argument number 3
-------------------------


(orientation Europe Africa North) Geography.kif 275-275
(orientation NorthAmerica SouthAmerica North) Geography.kif 278-278
(orientation MiddleAmerica SouthAmerica North) Geography.kif 287-287
(orientation CaribbeanRegion SouthAmerica North) Geography.kif 289-289
(orientation SouthernFrance GulfOfLion North) Geography.kif 338-338
(orientation KlamathMountains CaliforniaCoastRanges North) Geography.kif 428-428
(orientation NorthPole ArticCircle North) Geography.kif 5265-5265
(orientation MediterraneanSea SaharaDesert North) Geography.kif 8278-8278
(orientation SaharaDesert Sahel North) Geography.kif 8296-8296
(orientation Scotland England North) Geography.kif 8615-8615
(orientation Scotland Wales North) Geography.kif 8628-8628

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


(<=>
    (orientation ?OBJ1 ?OBJ2 North)
    (orientation ?OBJ2 ?OBJ1 South))		 Merge.kif 17372-17374
(=>
    (and
        (instance ?A PointInSpace)
        (instance ?B PointInSpace)
        (located ?A RockyMountains)
        (located ?B RockyMountains)
        (orientation ?A ?B North)
        (not
            (exists (?A1 ?B1)
                (and
                    (instance ?A1 PointInSpace)
                    (located ?A1 RockyMountains)
                    (orientation ?A1 ?A North)
                    (instance ?B1 PointInSpace)
                    (located ?B1 RockyMountains)
                    (orientation ?B1 ?B South))))
        (distance ?A ?B
            (MeasureFn ?X Mile)))
    (approximateValue ?X 3000))		 Geography.kif 377-395
(=>
    (and
        (instance ?A PointInSpace)
        (instance ?B PointInSpace)
        (located ?A CaliforniaCoastRanges)
        (located ?B CaliforniaCoastRanges)
        (orientation ?A ?B North)
        (not
            (exists (?A1 ?B1)
                (and
                    (instance ?A1 PointInSpace)
                    (located ?A1 CaliforniaCoastRanges)
                    (orientation ?A1 ?A North)
                    (instance ?B1 PointInSpace)
                    (located ?B1 CaliforniaCoastRanges)
                    (orientation ?B1 ?B South))))
        (distance ?A ?B
            (MeasureFn ?X Mile)))
    (approximateValue ?X 400))		 Geography.kif 443-461
(=>
    (and
        (instance ?R GeographicArea)
        (tangentialProperPart ?R KlamathMountains)
        (tangentialProperPart ?R CaliforniaCoastRanges)
        (instance ?N PointInSpace)
        (located ?N ?R)
        (instance ?S PointInSpace)
        (located ?S ?R)
        (orientation ?N ?S North)
        (not
            (exists (?N1 ?S1)
                (and
                    (instance ?N1 PointInSpace)
                    (located ?N1 ?R)
                    (orientation ?N1 ?N North)
                    (instance ?S1 PointInSpace)
                    (located ?S1 ?R)
                    (orientation ?S1 ?S South))))
        (distance ?N ?S
            (MeasureFn ?X Mile)))
    (approximateValue ?X 80))		 Geography.kif 562-583
(=>
    (and
        (instance ?A PointInSpace)
        (instance ?B PointInSpace)
        (located ?A PeninsularRanges)
        (located ?B PeninsularRanges)
        (orientation ?A ?B North)
        (not
            (exists (?A1 ?B1)
                (and
                    (instance ?A1 PointInSpace)
                    (located ?A1 PeninsularRanges)
                    (orientation ?A1 ?A North)
                    (instance ?B1 PointInSpace)
                    (located ?B1 PeninsularRanges)
                    (orientation ?B1 ?B South))))
        (distance ?A ?B
            (MeasureFn ?X Mile)))
    (approximateValue ?X 930))		 Geography.kif 1308-1326
(=>
    (and
        (instance ?A PointInSpace)
        (instance ?B PointInSpace)
        (located ?A SierraNevada)
        (located ?B SierraNevada)
        (orientation ?A ?B North)
        (not
            (exists (?A1 ?B1)
                (and
                    (instance ?A1 PointInSpace)
                    (located ?A1 SierraNevada)
                    (orientation ?A1 ?A North)
                    (instance ?B1 PointInSpace)
                    (located ?B1 SierraNevada)
                    (orientation ?B1 ?B South))))
        (distance ?A ?B
            (MeasureFn ?X Mile)))
    (approximateValue ?X 400))		 Geography.kif 1338-1356
(=>
    (and
        (instance ?A PointInSpace)
        (instance ?B PointInSpace)
        (located ?A AndesMountains)
        (located ?B AndesMountains)
        (orientation ?A ?B North)
        (not
            (exists (?A1 ?B1)
                (and
                    (instance ?A1 PointInSpace)
                    (located ?A1 AndesMountains)
                    (orientation ?A1 ?A North)
                    (instance ?B1 PointInSpace)
                    (located ?B1 AndesMountains)
                    (orientation ?B1 ?B South))))
        (distance ?A ?B
            (MeasureFn ?X Mile)))
    (approximateValue ?X 5500))		 Geography.kif 1436-1454
(=>
    (or
        (equal ?DIRECTION North)
        (equal ?DIRECTION South))
    (length
        (LatitudeFn ?DIRECTION
            (MeasureFn 0.0 AngularDegree)
            (MeasureFn 1.0 ArcMinute)
            (MeasureFn 0.0 ArcSecond))
        (MeasureFn 1.0 NauticalMile)))		 Geography.kif 1911-1918

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


(=>
    (equal Equator
        (LatitudeFn ?DIR
            (MeasureFn 0 AngularDegree)))
    (or
        (equal ?DIR North)
        (equal ?DIR South)))		 Geography.kif 1581-1587
(=>
    (and
        (instance ?REGION GeographicArea)
        (geographicSubregion
            (GeographicNorthFn ?REGION) ?REGION)
        (geographicSubregion
            (GeographicSouthFn ?REGION) ?REGION))
    (orientation
        (GeographicNorthFn ?REGION)
        (GeographicSouthFn ?REGION) North))		 Geography.kif 1707-1712
(=>
    (instance
        (LatitudeFn ?DIRECTION @ROW) Region)
    (or
        (equal ?DIRECTION North)
        (equal ?DIRECTION South)))		 Geography.kif 1899-1903
(=>
    (and
        (instance ?PLACE GeographicArea)
        (located ?PLACE Tropics))
    (exists (?NUM1 ?LONG ?DIR ?NUM2 ?U)
        (and
            (objectGeographicCoordinates ?PLACE
                (MeasureFn ?NUM1 ?U) ?LONG)
            (instance ?U UnitOfAngularMeasure)
            (lessThan ?NUM1 ?NUM2)
            (equal
                (MeasureFn ?NUM2 ?U)
                (LatitudeFn ?DIR
                    (MeasureFn 23.0 AngularDegree)
                    (MeasureFn 26.0 ArcMinute)
                    (MeasureFn 9.4 ArcSecond)))
            (instance ?DIR DirectionalAttribute)
            (or
                (equal ?DIR North)
                (equal ?DIR South)))))		 Geography.kif 5021-5040
(<=>
    (orientation ?OBJ1 ?OBJ2 Northeast)
    (and
        (orientation ?OBJ1 ?OBJ2 North)
        (orientation ?OBJ1 ?OBJ2 East)))		 Geography.kif 5081-5085
(<=>
    (orientation ?OBJ1 ?OBJ2 Northwest)
    (and
        (orientation ?OBJ1 ?OBJ2 North)
        (orientation ?OBJ1 ?OBJ2 West)))		 Geography.kif 5116-5120
(<=>
    (courseWRTTrueNorth ?OBJ1 ?OBJ2
        (MeasureFn 0.0 AngularDegree))
    (orientation ?OBJ1 ?OBJ2 North))		 Geography.kif 5159-5161
(<=>
    (courseWRTTrueNorth ?OBJ1 ?OBJ2
        (MeasureFn 360.0 AngularDegree))
    (orientation ?OBJ1 ?OBJ2 North))		 Geography.kif 5175-5177
(=>
    (and
        (instance ?R Region)
        (located ?R Nino3)
        (objectGeographicCoordinates ?R
            (LatitudeFn ?DIR
                (MeasureFn ?X AngularDegree))
            (LongitudeFn West
                (MeasureFn ?Y AngularDegree))))
    (and
        (or
            (equal ?DIR North)
            (equal ?DIR South))
        (lessThanOrEqualTo ?X 5)
        (greaterThanOrEqualTo ?Y 90)
        (lessThanOrEqualTo ?Y 150)))		 Weather.kif 881-896
(=>
    (and
        (instance ?R Region)
        (located ?R Nino3Point4)
        (objectGeographicCoordinates ?R
            (LatitudeFn ?DIR
                (MeasureFn ?X AngularDegree))
            (LongitudeFn West
                (MeasureFn ?Y AngularDegree))))
    (and
        (or
            (equal ?DIR North)
            (equal ?DIR South))
        (lessThanOrEqualTo ?X 5)
        (greaterThanOrEqualTo ?Y 120)
        (lessThanOrEqualTo ?Y 170)))		 Weather.kif 908-923
(=>
    (and
        (instance ?TC TropicalCyclonicSystem)
        (origin ?TC ?SEA)
        (or
            (instance ?SEA NorthAtlanticOcean)
            (instance ?SEA PacificOcean)
            (instance ?SEA IndianOcean)))
    (not
        (exists (?AREA ?DIR ?NUM ?LONG)
            (and
                (located ?AREA ?SEA)
                (instance ?DIR DirectionalAttribute)
                (objectGeographicCoordinates ?AREA
                    (LatitudeFn ?DIR
                        (MeasureFn ?NUM AngularDegree)) ?LONG)
                (or
                    (equal ?DIR North)
                    (equal ?DIR South))
                (lessThan ?NUM 5.0)))))		 Weather.kif 1052-1071
(=>
    (and
        (instance ?W Mistral)
        (eventLocated ?W ?A)
        (instance ?A GeographicArea)
        (origin ?W SouthernFrance)
        (destination ?W GulfOfLion))
    (and
        (geographicSubregion ?A MediterraneanRegion)
        (orientation ?A MediterraneanSea North)
        (geographicSubregion ?A SoutheasternEurope)))		 Weather.kif 2084-2094

statement
-------------------------


(equal ArcticCircle
    (LatitudeFn North
        (MeasureFn 66.0 AngularDegree)
        (MeasureFn 33.0 ArcMinute)
        (MeasureFn 50.6 ArcSecond)))		 Geography.kif 1601-1605
(equal TropicOfCancer
    (LatitudeFn North
        (MeasureFn 23.0 AngularDegree)
        (MeasureFn 26.0 ArcMinute)
        (MeasureFn 9.4 ArcSecond)))		 Geography.kif 1617-1621
(equal NorthPole
    (LatitudeFn North
        (MeasureFn 90 AngularDegree)))		 Geography.kif 5284-5287


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