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


KB Term:  Term intersection
English Word: 

Sigma KEE - North
North(north)
N, boreal, circumboreal, compass_north, due_north, magnetic_north, north, north-central, north_side, northbound, northerly, northern, northernmost, northernness, northmost, northward, northwards, septrional, upstate

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


(contraryAttribute North South East West) Merge.kif 17209-17209 North is the opposite of south
(documentation North ChineseLanguage "这是罗盘方向 North.") chinese_format.kif 3804-3804 North is the opposite of south
(documentation North EnglishLanguage "The compass direction of North.") Merge.kif 17210-17210 North is the opposite of south
(externalImage North "http://articulatesoftware.com/SUMOpictures/tools/miscellaneous/ compass.png") pictureList.kif 1869-1869 North is the opposite of south
(instance North DirectionalAttribute) Merge.kif 17208-17208 North is an instance of directional attribute
(oppositeDirection North South) Mid-level-ontology.kif 19690-19690 South is an opposite direction of north

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


(termFormat ChineseLanguage North "北") domainEnglishFormat.kif 40959-40959
(termFormat ChineseTraditionalLanguage North "北") domainEnglishFormat.kif 40958-40958
(termFormat EnglishLanguage North "north") domainEnglishFormat.kif 40957-40957

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


(orientation CaribbeanRegion SouthAmerica North) Geography.kif 289-289 Caribbean region is north to south america
(orientation Europe Africa North) Geography.kif 275-275 Europe is north to africa
(orientation KlamathMountains CaliforniaCoastRanges North) Geography.kif 428-428 Klamath Mountains is north to California Coast Ranges
(orientation MediterraneanSea SaharaDesert North) Geography.kif 8184-8184 Mediterranean sea is north to Sahara Desert
(orientation MiddleAmerica SouthAmerica North) Geography.kif 287-287 Middle america is north to south america
(orientation NorthAmerica SouthAmerica North) Geography.kif 278-278 North america is north to south america
(orientation SaharaDesert Sahel North) Geography.kif 8202-8202 Sahara Desert is north to Sahel
(orientation Scotland England North) Geography.kif 8521-8521 Scotland is north to England
(orientation Scotland Wales North) Geography.kif 8534-8534 Scotland is north to Wales
(orientation SouthernFrance GulfOfLion North) Geography.kif 338-338 Southern France is north to Gulf Of Lion

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


(<=>
    (orientation ?OBJ1 ?OBJ2 North)
    (orientation ?OBJ2 ?OBJ1 South))		 Merge.kif 17215-17217 An object is north to another object if and only if the other object is south to the object
(=>
    (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
(=>
    (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 ?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 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 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 ?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
(=>
    (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 1837-1844

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


(<=>
    (courseWRTTrueNorth ?OBJ1 ?OBJ2
        (MeasureFn 0.0 AngularDegree))
    (orientation ?OBJ1 ?OBJ2 North))		 Geography.kif 5122-5124 An object courseWRT true north another object for 0.0 angular degree(s) if and only if the object is north to the other object
(<=>
    (courseWRTTrueNorth ?OBJ1 ?OBJ2
        (MeasureFn 360.0 AngularDegree))
    (orientation ?OBJ1 ?OBJ2 North))		 Geography.kif 5138-5140 An object courseWRT true north another object for 360.0 angular degree(s) if and only if the object is north to the other object
(<=>
    (orientation ?OBJ1 ?OBJ2 Northeast)
    (and
        (orientation ?OBJ1 ?OBJ2 North)
        (orientation ?OBJ1 ?OBJ2 East)))		 Geography.kif 5044-5048 An object is northeast to another object if and only if the object is north to the other object and the object is east to the other object
(<=>
    (orientation ?OBJ1 ?OBJ2 Northwest)
    (and
        (orientation ?OBJ1 ?OBJ2 North)
        (orientation ?OBJ1 ?OBJ2 West)))		 Geography.kif 5079-5083 An object is northwest to another object if and only if the object is north to the other object and the object is west to the other object
(=>
    (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 11.5 ArcSecond)))
            (instance ?DIR DirectionalAttribute)
            (or
                (equal ?DIR North)
                (equal ?DIR South)))))		 Geography.kif 4987-5006
(=>
    (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 897-912
(=>
    (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 924-939
(=>
    (and
        (instance ?REGION GeographicArea)
        (geographicSubregion
            (GeographicNorthFn ?REGION) ?REGION)
        (geographicSubregion
            (GeographicSouthFn ?REGION) ?REGION))
    (orientation
        (GeographicNorthFn ?REGION)
        (GeographicSouthFn ?REGION) North))		 Geography.kif 1631-1636
(=>
    (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 1068-1087
(=>
    (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 2099-2109
(=>
    (equal Equator
        (LatitudeFn ?DIR
            (MeasureFn 0 AngularDegree)))
    (or
        (equal ?DIR North)
        (equal ?DIR South)))		 Geography.kif 1569-1575
(=>
    (instance
        (LatitudeFn ?DIRECTION @ROW) Region)
    (or
        (equal ?DIRECTION North)
        (equal ?DIRECTION South)))		 Geography.kif 1825-1829