North - Sigma Knowledge base Browser

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 8263-8263	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 8281-8281	Sahara Desert is north to Sahel
(orientation Scotland England North)	Geography.kif 8600-8600	Scotland is north to England
(orientation Scotland Wales North)	Geography.kif 8613-8613	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	If an object is an instance of point in space and another object is an instance of point in space and the object is located at Andes Mountains and the other object is located at Andes Mountains and the object is north to the other object and there don't exist the object1 and the other object1 such that the object1 is an instance of point in space and the object1 is located at Andes Mountains and the object1 is north to the object and the other object1 is an instance of point in space and the other object1 is located at Andes Mountains and the other object1 is south to the other object and the distance between the object and the other object is a real number mile(s), then the approximate value of the real number is 5500
(=> (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	If an object is an instance of point in space and another object is an instance of point in space and the object is located at California Coast Ranges and the other object is located at California Coast Ranges and the object is north to the other object and there don't exist the object1 and the other object1 such that the object1 is an instance of point in space and the object1 is located at California Coast Ranges and the object1 is north to the object and the other object1 is an instance of point in space and the other object1 is located at California Coast Ranges and the other object1 is south to the other object and the distance between the object and the other object is a real number mile(s), then the approximate value of the real number is 400
(=> (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	If an object is an instance of point in space and another object is an instance of point in space and the object is located at Peninsular Ranges and the other object is located at Peninsular Ranges and the object is north to the other object and there don't exist the object1 and the other object1 such that the object1 is an instance of point in space and the object1 is located at Peninsular Ranges and the object1 is north to the object and the other object1 is an instance of point in space and the other object1 is located at Peninsular Ranges and the other object1 is south to the other object and the distance between the object and the other object is a real number mile(s), then the approximate value of the real number is 930
(=> (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	If an object is an instance of point in space and another object is an instance of point in space and the object is located at Rocky Mountains and the other object is located at Rocky Mountains and the object is north to the other object and there don't exist the object1 and the other object1 such that the object1 is an instance of point in space and the object1 is located at Rocky Mountains and the object1 is north to the object and the other object1 is an instance of point in space and the other object1 is located at Rocky Mountains and the other object1 is south to the other object and the distance between the object and the other object is a real number mile(s), then the approximate value of the real number is 3000
(=> (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	If an object is an instance of point in space and another object is an instance of point in space and the object is located at Sierra Nevada and the other object is located at Sierra Nevada and the object is north to the other object and there don't exist the object1 and the other object1 such that the object1 is an instance of point in space and the object1 is located at Sierra Nevada and the object1 is north to the object and the other object1 is an instance of point in space and the other object1 is located at Sierra Nevada and the other object1 is south to the other object and the distance between the object and the other object is a real number mile(s), then the approximate value of the real number is 400
(=> (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	If a region is an instance of geographic area and the region is a tangentialProperPart of Klamath Mountains and the region is a tangentialProperPart of California Coast Ranges and an object is an instance of point in space and the object is located at the region and another object is an instance of point in space and the other object is located at the region and the object is north to the other object and there don't exist the object1 and the other object1 such that the object1 is an instance of point in space and the object1 is located at the region and the object1 is north to the object and the other object1 is an instance of point in space and the other object1 is located at the region and the other object1 is south to the other object and the distance between the object and the other object is a real number mile(s), then the approximate value of the real number is 80
(=> (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 1913-1920	If equal a directional attribute and north or equal the directional attribute and south, then the length of the region the directional attribute of 0.0 angular degree(s) is 1.0 nautical mile(s)

consequent

(<=> (courseWRTTrueNorth ?OBJ1 ?OBJ2 (MeasureFn 0.0 AngularDegree)) (orientation ?OBJ1 ?OBJ2 North))	Geography.kif 5201-5203	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 5217-5219	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 5123-5127	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 5158-5162	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 9.4 ArcSecond))) (instance ?DIR DirectionalAttribute) (or (equal ?DIR North) (equal ?DIR South)))))	Geography.kif 5063-5082	If an object is an instance of geographic area and the object is located at tropics, then there exist a real number, a longitude,, , a directional attribute,, , another real number and an unit of measure such that the object is object geographic coordinates the real number the unit of measure(s) for the longitude and the unit of measure is an instance of unit of angular measure and the real number is less than the other real number and equal the other real number the unit of measure(s) and the region the directional attribute of 23.0 angular degree(s) and the directional attribute is an instance of directional attribute and equal the directional attribute and north or equal the directional attribute and south
(=> (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	If an object is an instance of region and the object is located at Nino 3 and the object is object geographic coordinates the region a directional attribute of a real number angular degree(s) for the meridian at another real number angular degree(s) west, then equal the directional attribute and north or equal the directional attribute and south and the real number is less than or equal to 5 and the other real number is greater than or equal to 90 and the other real number is less than or equal to 150
(=> (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	If an object is an instance of region and the object is located at Nino 3.4 and the object is object geographic coordinates the region a directional attribute of a real number angular degree(s) for the meridian at another real number angular degree(s) west, then equal the directional attribute and north or equal the directional attribute and south and the real number is less than or equal to 5 and the other real number is greater than or equal to 120 and the other real number is less than or equal to 170
(=> (and (instance ?REGION GeographicArea) (geographicSubregion (GeographicNorthFn ?REGION) ?REGION) (geographicSubregion (GeographicSouthFn ?REGION) ?REGION)) (orientation (GeographicNorthFn ?REGION) (GeographicSouthFn ?REGION) North))	Geography.kif 1707-1712	If a geographic area is an instance of geographic area and geographic North the geographic area is a geographic subregion of the geographic area and geographic South the geographic area is a geographic subregion of the geographic area, then geographic North the geographic area is north to geographic South the geographic area
(=> (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	If a process is an instance of tropical cyclonic system and the process originates at an object and the object is an instance of north atlantic ocean or the object is an instance of pacific ocean or the object is an instance of indian ocean, then there don't exist another object, a directional attribute,, , a real number and a longitude such that the other object is located at the object and the directional attribute is an instance of directional attribute and the other object is object geographic coordinates the region the directional attribute of the real number angular degree(s) for the longitude and equal the directional attribute and north or equal the directional attribute and south and the real number is less than 5.0
(=> (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	If a process is an instance of mistral and the process is located at a geographic area and the geographic area is an instance of geographic area and the process originates at Southern France and the process ends up at Gulf Of Lion, then the geographic area is a geographic subregion of Mediterranean Region and the geographic area is north to mediterranean sea and the geographic area is a geographic subregion of southeastern europe
(=> (equal Equator (LatitudeFn ?DIR (MeasureFn 0 AngularDegree))) (or (equal ?DIR North) (equal ?DIR South)))	Geography.kif 1581-1587	If equal equator and the region a directional attribute of 0 angular degree(s), then equal the directional attribute and north or equal the directional attribute and south
(=> (instance (LatitudeFn ?DIRECTION @ROW) Region) (or (equal ?DIRECTION North) (equal ?DIRECTION South)))	Geography.kif 1901-1905	If the region a directional attribute of @ROW is an instance of region, then equal the directional attribute and north or equal the directional attribute and south

statement

(equal ArticCircle (LatitudeFn North (MeasureFn 66.0 AngularDegree) (MeasureFn 33.0 ArcMinute) (MeasureFn 50.6 ArcSecond)))	Geography.kif 1601-1605	equal Artic Circle and the region north of 66.0 angular degree(s)
(equal NorthPole (LatitudeFn North (MeasureFn 90 AngularDegree)))	Geography.kif 5315-5318	equal North Pole and the region north of 90 angular degree(s)
(equal TropicOfCancer (LatitudeFn North (MeasureFn 23.0 AngularDegree) (MeasureFn 26.0 ArcMinute) (MeasureFn 9.4 ArcSecond)))	Geography.kif 1617-1621	equal Tropic of Cancer and the region north of 23.0 angular degree(s)

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 is open source software produced by Articulate Software and its partners