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 17187-17187	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 17188-17188	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 17186-17186	North is an instance of directional attribute
(oppositeDirection North South)	Mid-level-ontology.kif 19704-19704	South is an opposite direction of north

appearance as argument number 2

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

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 MediterraneanSea SaharaDesert North)	Geography.kif 7089-7089	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 7107-7107	Sahara Desert is north to Sahel
(orientation Scotland England North)	Geography.kif 7426-7426	Scotland is north to England
(orientation Scotland Wales North)	Geography.kif 7439-7439	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 17193-17195	An object is north to another object if and only if the other object is south to the object
(=> (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 741-748	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 4027-4029	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 4043-4045	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 3949-3953	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 3984-3988	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 ?T) (instance ?T 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 3891-3911	If an object is an instance of geographic area and the object is located at another object and the other object is an instance of 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 ?REGION GeographicArea) (geographicSubregion (GeographicNorthFn ?REGION) ?REGION) (geographicSubregion (GeographicSouthFn ?REGION) ?REGION)) (orientation (GeographicNorthFn ?REGION) (GeographicSouthFn ?REGION) North))	Geography.kif 535-540	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 611-630	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 1639-1649	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
(=> (instance (LatitudeFn ?DIRECTION @ROW) Region) (or (equal ?DIRECTION North) (equal ?DIRECTION South)))	Geography.kif 729-733	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 NorthPole
(LatitudeFn North
(MeasureFn 90 AngularDegree)))

Geography.kif 4141-4144

equal North Pole and the region north of 90 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