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

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	oppositeDirection North and South

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	CaribbeanRegion is North to SouthAmerica
(orientation Europe Africa North)	Geography.kif 275-275	Europe is North to Africa
(orientation KlamathMountains CaliforniaCoastRanges North)	Geography.kif 428-428	KlamathMountains is North to CaliforniaCoastRanges
(orientation MediterraneanSea SaharaDesert North)	Geography.kif 8263-8263	MediterraneanSea is North to SaharaDesert
(orientation MiddleAmerica SouthAmerica North)	Geography.kif 287-287	MiddleAmerica is North to SouthAmerica
(orientation NorthAmerica SouthAmerica North)	Geography.kif 278-278	NorthAmerica is North to SouthAmerica
(orientation SaharaDesert Sahel North)	Geography.kif 8281-8281	SaharaDesert 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	SouthernFrance is North to GulfOfLion

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 PointInSpace and another object is an instance of PointInSpace and the object is located at AndesMountains and the other object is located at AndesMountains 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 PointInSpace and the object1 is located at AndesMountains and the object1 is North to the object and the other object1 is an instance of PointInSpace and the other object1 is located at AndesMountains 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 approximateValue the real number and 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 PointInSpace and another object is an instance of PointInSpace and the object is located at CaliforniaCoastRanges and the other object is located at CaliforniaCoastRanges 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 PointInSpace and the object1 is located at CaliforniaCoastRanges and the object1 is North to the object and the other object1 is an instance of PointInSpace and the other object1 is located at CaliforniaCoastRanges 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 approximateValue the real number and 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 PointInSpace and another object is an instance of PointInSpace and the object is located at PeninsularRanges and the other object is located at PeninsularRanges 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 PointInSpace and the object1 is located at PeninsularRanges and the object1 is North to the object and the other object1 is an instance of PointInSpace and the other object1 is located at PeninsularRanges 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 approximateValue the real number and 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 PointInSpace and another object is an instance of PointInSpace and the object is located at RockyMountains and the other object is located at RockyMountains 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 PointInSpace and the object1 is located at RockyMountains and the object1 is North to the object and the other object1 is an instance of PointInSpace and the other object1 is located at RockyMountains 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 approximateValue the real number and 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 PointInSpace and another object is an instance of PointInSpace and the object is located at SierraNevada and the other object is located at SierraNevada 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 PointInSpace and the object1 is located at SierraNevada and the object1 is North to the object and the other object1 is an instance of PointInSpace and the other object1 is located at SierraNevada 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 approximateValue the real number and 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 tangentialProperPart the region and KlamathMountains and tangentialProperPart the region and CaliforniaCoastRanges and an object is an instance of PointInSpace and the object is located at the region and another object is an instance of PointInSpace 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 PointInSpace and the object1 is located at the region and the object1 is North to the object and the other object1 is an instance of PointInSpace 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 approximateValue the real number and 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 LatitudeFn the directional attribute, 0.0 AngularDegree(s), 1.0 ArcMinute(s) and 0.0 ArcSecond(s) is 1.0 NauticalMile(s)

consequent

(<=> (courseWRTTrueNorth ?OBJ1 ?OBJ2 (MeasureFn 0.0 AngularDegree)) (orientation ?OBJ1 ?OBJ2 North))	Geography.kif 5201-5203	courseWRTTrueNorth an object, another object and 0.0 AngularDegree(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	courseWRTTrueNorth an object, another object and 360.0 AngularDegree(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 objectGeographicCoordinates the object, the real number the unit of measure(s) and the Longitude and the unit of measure is an instance of UnitOfAngularMeasure and the real number is less than the other real number and equal the other real number the unit of measure(s) and LatitudeFn the directional attribute, 23.0 AngularDegree(s), 26.0 ArcMinute(s) and 9.4 ArcSecond(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 Nino3 and objectGeographicCoordinates the object, LatitudeFn a directional attribute and a real number AngularDegree(s) and LongitudeFn West and another real number AngularDegree(s), 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 Nino3Point4 and objectGeographicCoordinates the object, LatitudeFn a directional attribute and a real number AngularDegree(s) and LongitudeFn West and another real number AngularDegree(s), 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 geographicSubregion GeographicNorthFn the geographic area and the geographic area and geographicSubregion GeographicSouthFn the geographic area and the geographic area, then GeographicNorthFn the geographic area is North to GeographicSouthFn 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 TropicalCyclonicSystem and the process originates at an object and the object is an instance of NorthAtlanticOcean or the object is an instance of PacificOcean or the object is an instance of IndianOcean, 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 objectGeographicCoordinates the other object, LatitudeFn the directional attribute and the real number AngularDegree(s) and 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 event located the process and a geographic area and the geographic area is an instance of geographic area and the process originates at SouthernFrance and the process ends up at GulfOfLion, then geographicSubregion the geographic area and MediterraneanRegion and the geographic area is North to MediterraneanSea and geographicSubregion the geographic area and SoutheasternEurope
(=> (equal Equator (LatitudeFn ?DIR (MeasureFn 0 AngularDegree))) (or (equal ?DIR North) (equal ?DIR South)))	Geography.kif 1581-1587	If equal Equator and LatitudeFn a directional attribute and 0 AngularDegree(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 LatitudeFn a directional attribute and @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 ArticCircle and LatitudeFn North, 66.0 AngularDegree(s), 33.0 ArcMinute(s) and 50.6 ArcSecond(s)
(equal NorthPole (LatitudeFn North (MeasureFn 90 AngularDegree)))	Geography.kif 5315-5318	equal NorthPole and LatitudeFn North and 90 AngularDegree(s)
(equal TropicOfCancer (LatitudeFn North (MeasureFn 23.0 AngularDegree) (MeasureFn 26.0 ArcMinute) (MeasureFn 9.4 ArcSecond)))	Geography.kif 1617-1621	equal TropicOfCancer and LatitudeFn North, 23.0 AngularDegree(s), 26.0 ArcMinute(s) and 9.4 ArcSecond(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