AngularDegree - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

[ Home | Graph | ] KB: Language:
Formal Language:

KB Term:			Term intersection

English Word:

Sigma KEE - AngularDegree

AngularDegree(angular degree)

arcdegree, degree

appearance as argument number 1

(documentation AngularDegree ChineseLanguage "这是一种量度平面角度的单位。")	chinese_format.kif 2618-2618
(documentation AngularDegree EnglishLanguage "A plane angle measure.")	Merge.kif 7362-7362
(documentation AngularDegree JapaneseLanguage "平面角度メジャー。")	japanese_format.kif 1332-1332
(instance AngularDegree UnitOfAngularMeasure)	Merge.kif 7360-7360	Angular degree is an instance of unit of angular measure

appearance as argument number 2

(termFormat ChineseLanguage AngularDegree "圆周角度")	domainEnglishFormat.kif 7536-7536
(termFormat ChineseTraditionalLanguage AngularDegree "圓周角度")	domainEnglishFormat.kif 7535-7535
(termFormat EnglishLanguage AngularDegree "angular degree")	domainEnglishFormat.kif 7534-7534

antecedent

(<=> (courseWRTTrueNorth ?OBJ1 ?OBJ2 (MeasureFn 0.0 AngularDegree)) (orientation ?OBJ1 ?OBJ2 North))	Geography.kif 3731-3733	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 135.0 AngularDegree)) (orientation ?OBJ1 ?OBJ2 Southeast))	Geography.kif 3755-3757	An object courseWRT true north another object for 135.0 angular degree(s) if and only if the object is southeast to the other object
(<=> (courseWRTTrueNorth ?OBJ1 ?OBJ2 (MeasureFn 180.0 AngularDegree)) (orientation ?OBJ1 ?OBJ2 South))	Geography.kif 3739-3741	An object courseWRT true north another object for 180.0 angular degree(s) if and only if the object is south to the other object
(<=> (courseWRTTrueNorth ?OBJ1 ?OBJ2 (MeasureFn 225.0 AngularDegree)) (orientation ?OBJ1 ?OBJ2 Southwest))	Geography.kif 3759-3761	An object courseWRT true north another object for 225.0 angular degree(s) if and only if the object is southwest to the other object
(<=> (courseWRTTrueNorth ?OBJ1 ?OBJ2 (MeasureFn 270.0 AngularDegree)) (orientation ?OBJ1 ?OBJ2 West))	Geography.kif 3743-3745	An object courseWRT true north another object for 270.0 angular degree(s) if and only if the object is west to the other object
(<=> (courseWRTTrueNorth ?OBJ1 ?OBJ2 (MeasureFn 315.0 AngularDegree)) (orientation ?OBJ1 ?OBJ2 Northwest))	Geography.kif 3763-3765	An object courseWRT true north another object for 315.0 angular degree(s) if and only if the object is northwest to the other object
(<=> (courseWRTTrueNorth ?OBJ1 ?OBJ2 (MeasureFn 360.0 AngularDegree)) (orientation ?OBJ1 ?OBJ2 North))	Geography.kif 3747-3749	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
(<=> (courseWRTTrueNorth ?OBJ1 ?OBJ2 (MeasureFn 45.0 AngularDegree)) (orientation ?OBJ1 ?OBJ2 Northeast))	Geography.kif 3751-3753	An object courseWRT true north another object for 45.0 angular degree(s) if and only if the object is northeast to the other object
(<=> (courseWRTTrueNorth ?OBJ1 ?OBJ2 (MeasureFn 90.0 AngularDegree)) (orientation ?OBJ1 ?OBJ2 East))	Geography.kif 3735-3737	An object courseWRT true north another object for 90.0 angular degree(s) if and only if the object is east to the other object
(<=> (measure ?OBJ (MeasureFn ?DEG AngularDegree)) (measure ?OBJ (MeasureFn (MultiplicationFn 60.0 ?DEG) ArcMinute)))	Geography.kif 378-380	The measure of a physical is a real number angular degree(s) if and only if the measure of the physical is 60.0 and the real number arc minute(s)
(=> (and (instance (LatitudeFn ?DIRECTION @ROW) Region) (equal (ListOrderFn (ListFn @ROW) 1) (MeasureFn ?NUM AngularDegree))) (lessThanOrEqualTo ?NUM 90.0))	Geography.kif 427-431	If the region a directional attribute of @ROW is an instance of region and 1th element of (@ROW) is equal to a real number angular degree(s), then the real number is less than or equal to 90.0
(=> (and (instance (LongitudeFn ?DIRECTION @ROW) Region) (equal (ListOrderFn (ListFn @ROW) 1) (MeasureFn ?NUM AngularDegree))) (lessThanOrEqualTo ?NUM 180.0))	Geography.kif 467-474	If the meridian at @ROW a directional attribute is an instance of region and 1th element of (@ROW) is equal to a real number angular degree(s), then the real number is less than or equal to 180.0
(=> (equal ?QUANT (MeasureFn ?N AngularDegree)) (instance ?QUANT PlaneAngleMeasure))	Merge.kif 7364-7366	If a physical quantity is equal to a real number angular degree(s), then the physical quantity is an instance of plane angle measure
(=> (measure ?ANGLE (MeasureFn ?NUMBER AngularDegree)) (and (greaterThanOrEqualTo ?NUMBER 0.0) (lessThanOrEqualTo ?NUMBER 360.0)))	Merge.kif 7372-7376	If the measure of a physical is a real number angular degree(s), then the real number is greater than or equal to 0.0 and the real number is less than or equal to 360.0
(=> (measure ?ANGLE (MeasureFn ?NUMBER AngularDegree)) (greaterThanOrEqualTo ?NUMBER 0.0))	Geography.kif 358-360	If the measure of a physical is a real number angular degree(s), then the real number is greater than or equal to 0.0
(=> (measure ?ANGLE (MeasureFn ?NUMBER AngularDegree)) (lessThanOrEqualTo ?NUMBER 360.0))	Geography.kif 362-364	If the measure of a physical is a real number angular degree(s), then the real number is less than or equal to 360.0

consequent

(=> (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 3595-3615	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 the other real number the unit of measure(s) is equal to the region the directional attribute of 23.0 angular degree(s) and the directional attribute is an instance of directional attribute and the directional attribute is equal to north or the directional attribute is equal to south
(=> (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 the directional attribute is equal to north or the directional attribute is equal to south and the real number is less than 5.0
(=> (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 433-440	If a directional attribute is equal to north or the directional attribute is equal to south, then the length of the region the directional attribute of 0.0 angular degree(s) is 1.0 nautical mile(s)

statement

(equal (MeasureFn 1.0 AngularDegree) (MeasureFn 60.0 ArcMinute))	Geography.kif 382-382	1.0 Angular degree(s) is equal to 60.0 arc minute(s)
(equal (MeasureFn ?NUM AngularDegree) (MeasureFn (MultiplicationFn 60.0 ?NUM) ArcMinute))	Geography.kif 383-383	A real number angular degree(s) is equal to 60.0 and the real number arc minute(s)
(equal (MeasureFn ?NUMBER AngularDegree) (MeasureFn (MultiplicationFn ?NUMBER (DivisionFn Pi 180.0)) Radian))	Merge.kif 7368-7370	A real number angular degree(s) is equal to the real number and pi and 180.0 radian(s)
(objectGeographicCoordinates (GeographicCenterFn SouthernOcean) (LatitudeFn South (MeasureFn 65.0 AngularDegree) (MeasureFn 0.0 ArcMinute)) (LongitudeFn East (MeasureFn 0.0 AngularDegree) (MeasureFn 0.0 ArcMinute)))	Geography.kif 4662-4669	The geographic center of southern ocean is object geographic coordinates the region south of 65.0 angular degree(s) for the meridian at 0.0 angular degree(s) east

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