AngularDegree - Sigma Knowledge base Browser

appearance as argument number 1

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

appearance as argument number 2

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

antecedent

(<=> (courseWRTTrueNorth ?OBJ1 ?OBJ2 (MeasureFn 0.0 AngularDegree)) (orientation ?OBJ1 ?OBJ2 North))	Geography.kif 3856-3858	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 3880-3882	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 3864-3866	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 3884-3886	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 3868-3870	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 3888-3890	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 3872-3874	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 3876-3878	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 3860-3862	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 515-517	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 (equal ?A AcuteAngle) (angularMeasure ?A (MeasureFn ?N AngularDegree))) (lessThan ?N 90.0))	Mid-level-ontology.kif 5493-5498	If equal a two dimensional angle and acute angle and a real number angular degree(s) is an angular measure of the two dimensional angle, then the real number is less than 90.0
(=> (and (equal ?MAJ MajorArc) (sideOfFigure ?MAJ ?S) (equal ?S CircleSector) (angleOfFigure ?A ?S) (angularMeasure ?A (MeasureFn ?X AngularDegree))) (and (greaterThan ?X 180) (lessThan ?X 360)))	Mid-level-ontology.kif 5798-5807	If equal an one dimensional figure and Major arc and the size of a geometric figure is the one dimensional figure and equal the geometric figure and circle sector and a two dimensional angle is the angle found in the geometric figure and a real number angular degree(s) is an angular measure of the two dimensional angle, then the real number is greater than 180 and the real number is less than 360
(=> (and (equal ?MIN MinorArc) (sideOfFigure ?MIN ?S) (equal ?S CircleSector) (angleOfFigure ?A ?S) (angularMeasure ?A (MeasureFn ?X AngularDegree))) (and (greaterThan ?X 0) (lessThan ?X 180)))	Mid-level-ontology.kif 5782-5791	If equal an one dimensional figure and minor arc and the size of a geometric figure is the one dimensional figure and equal the geometric figure and circle sector and a two dimensional angle is the angle found in the geometric figure and a real number angular degree(s) is an angular measure of the two dimensional angle, then the real number is greater than 0 and the real number is less than 180
(=> (and (equal ?O ObliqueAngle) (angularMeasure ?O (MeasureFn ?N AngularDegree))) (greaterThan ?N 90.0))	Mid-level-ontology.kif 5471-5476	If equal a two dimensional angle and oblique angle and a real number angular degree(s) is an angular measure of the two dimensional angle, then the real number is greater than 90.0
(=> (and (equal ?R RightAngle) (angularMeasure ?R (MeasureFn ?N AngularDegree))) (equal ?N 90.0))	Mid-level-ontology.kif 5482-5487	If equal a two dimensional angle and right angle and a real number angular degree(s) is an angular measure of the two dimensional angle, then equal the real number and 90.0
(=> (and (instance (LatitudeFn ?DIRECTION @ROW) Region) (equal (ListOrderFn (ListFn @ROW) 1) (MeasureFn ?NUM AngularDegree))) (lessThanOrEqualTo ?NUM 90.0))	Geography.kif 564-568	If the region a directional attribute of @ROW is an instance of region and equal 1th element of (@ROW) and 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 604-611	If the meridian at @ROW a directional attribute is an instance of region and equal 1th element of (@ROW) and a real number angular degree(s), then the real number is less than or equal to 180.0
(=> (and (instance ?AREA GeographicArea) (objectGeographicCoordinates ?AREA ?LAT ?LONG) (equal (MeasureFn ?DEG AngularDegree) (MagneticDeclinationFn ?LAT ?LONG))) (exists (?MN) (and (headingWRTMagneticNorth ?AREA (MeasureFn ?MN AngularDegree)) (headingWRTTrueNorth ?AREA (MeasureFn (AdditionFn ?MN ?DEG) AngularDegree)))))	Geography.kif 3917-3929	If an object is an instance of geographic area and the object is object geographic coordinates a latitude for a longitude and equal a real number angular degree(s) and Location on Earth at Latitude the latitude and Longitude the longitude has a magnetic declination of PlaneAngleMeasure. (+) denotes easterly declination, (-) denotes westerly declination. zero value means at the agonic line., then there exists another real number such that the other real number angular degree(s) is a headingWRT magnetic north of the object and (the other real number and the real number) angular degree(s) is a headingWRT true north of the object
(=> (and (instance ?AREA GeographicArea) (objectGeographicCoordinates ?AREA ?LAT ?LONG) (equal (MeasureFn ?DEG AngularDegree) (MagneticDeclinationFn ?LAT ?LONG))) (exists (?TN) (and (headingWRTTrueNorth ?AREA (MeasureFn ?TN AngularDegree)) (headingWRTMagneticNorth ?AREA (MeasureFn (SubtractionFn ?TN ?DEG) AngularDegree)))))	Geography.kif 3933-3945	If an object is an instance of geographic area and the object is object geographic coordinates a latitude for a longitude and equal a real number angular degree(s) and Location on Earth at Latitude the latitude and Longitude the longitude has a magnetic declination of PlaneAngleMeasure. (+) denotes easterly declination, (-) denotes westerly declination. zero value means at the agonic line., then there exists another real number such that the other real number angular degree(s) is a headingWRT true north of the object and (the other real number and the real number) angular degree(s) is a headingWRT magnetic north of the object
(=> (equal ?QUANT (MeasureFn ?N AngularDegree)) (instance ?QUANT PlaneAngleMeasure))	Merge.kif 7407-7409	If equal a physical quantity and 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 7415-7419	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 495-497	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 499-501	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 ?A CentralAngle) (angleOfFigure ?A ?C) (equal ?C Circle)) (angularMeasure ?A (MeasureFn 360 AngularDegree)))	Mid-level-ontology.kif 5769-5774	If a two dimensional angle is an instance of central angle and the two dimensional angle is the angle found in a geometric figure and equal the geometric figure and circle, then 360 angular degree(s) is an angular measure of the two dimensional angle
(=> (and (instance ?AREA GeographicArea) (objectGeographicCoordinates ?AREA ?LAT ?LONG) (equal (MeasureFn ?DEG AngularDegree) (MagneticDeclinationFn ?LAT ?LONG))) (exists (?MN) (and (headingWRTMagneticNorth ?AREA (MeasureFn ?MN AngularDegree)) (headingWRTTrueNorth ?AREA (MeasureFn (AdditionFn ?MN ?DEG) AngularDegree)))))	Geography.kif 3917-3929	If an object is an instance of geographic area and the object is object geographic coordinates a latitude for a longitude and equal a real number angular degree(s) and Location on Earth at Latitude the latitude and Longitude the longitude has a magnetic declination of PlaneAngleMeasure. (+) denotes easterly declination, (-) denotes westerly declination. zero value means at the agonic line., then there exists another real number such that the other real number angular degree(s) is a headingWRT magnetic north of the object and (the other real number and the real number) angular degree(s) is a headingWRT true north of the object
(=> (and (instance ?AREA GeographicArea) (objectGeographicCoordinates ?AREA ?LAT ?LONG) (equal (MeasureFn ?DEG AngularDegree) (MagneticDeclinationFn ?LAT ?LONG))) (exists (?TN) (and (headingWRTTrueNorth ?AREA (MeasureFn ?TN AngularDegree)) (headingWRTMagneticNorth ?AREA (MeasureFn (SubtractionFn ?TN ?DEG) AngularDegree)))))	Geography.kif 3933-3945	If an object is an instance of geographic area and the object is object geographic coordinates a latitude for a longitude and equal a real number angular degree(s) and Location on Earth at Latitude the latitude and Longitude the longitude has a magnetic declination of PlaneAngleMeasure. (+) denotes easterly declination, (-) denotes westerly declination. zero value means at the agonic line., then there exists another real number such that the other real number angular degree(s) is a headingWRT true north of the object and (the other real number and the real number) angular degree(s) is a headingWRT magnetic north of the 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 3720-3740	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 ?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
(=> (instance ?G ArtilleryCannon) (hasPurpose ?G (exists (?S ?X) (and (instance ?S Shooting) (instrument ?S ?G) (angleOfFire ?S (MeasureFn ?X AngularDegree)) (greaterThanOrEqualTo ?X 0) (lessThanOrEqualTo ?X 45)))))	MilitaryDevices.kif 177-187	If a physical is an instance of artillery cannon, then the physical has the purpose there exist an entity and another entity such that the entity is an instance of shooting and the physical is an instrument for the entity and the angleOfFire of the entity the other entity angular degree(s) is the other entity angular degree(s) and the other entity is greater than or equal to 0 and the other entity is less than or equal to 45
(=> (instance ?G Howitzer) (hasPurpose ?G (exists (?S ?X) (and (instance ?S Shooting) (instrument ?S ?G) (angleOfFire ?S (MeasureFn ?X AngularDegree)) (greaterThanOrEqualTo ?X 0) (lessThanOrEqualTo ?X 90)))))	MilitaryDevices.kif 207-217	If a physical is an instance of howitzer, then the physical has the purpose there exist an entity and another entity such that the entity is an instance of shooting and the physical is an instrument for the entity and the angleOfFire of the entity the other entity angular degree(s) is the other entity angular degree(s) and the other entity is greater than or equal to 0 and the other entity is less than or equal to 90
(=> (instance ?G MortarGun) (hasPurpose ?G (exists (?S ?X) (and (instance ?S Shooting) (instrument ?S ?G) (angleOfFire ?S (MeasureFn ?X AngularDegree)) (greaterThanOrEqualTo ?X 45) (lessThanOrEqualTo ?X 90)))))	MilitaryDevices.kif 230-240	If a physical is an instance of mortar gun, then the physical has the purpose there exist an entity and another entity such that the entity is an instance of shooting and the physical is an instrument for the entity and the angleOfFire of the entity the other entity angular degree(s) is the other entity angular degree(s) and the other entity is greater than or equal to 45 and the other entity is less than or equal to 90
(=> (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 570-577	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)

statement

(equal (MeasureFn 1.0 AngularDegree) (MeasureFn 60.0 ArcMinute))	Geography.kif 519-519	equal 1.0 angular degree(s) and 60.0 arc minute(s)
(equal (MeasureFn ?NUM AngularDegree) (MeasureFn (MultiplicationFn 60.0 ?NUM) ArcMinute))	Geography.kif 520-520	equal a real number angular degree(s) and 60.0 and the real number arc minute(s)
(equal (MeasureFn ?NUMBER AngularDegree) (MeasureFn (MultiplicationFn ?NUMBER (DivisionFn Pi 180.0)) Radian))	Merge.kif 7411-7413	equal a real number angular degree(s) and the real number and pi and 180.0 radian(s)
(equal NorthPole (LatitudeFn North (MeasureFn 90 AngularDegree)))	Geography.kif 3970-3973	equal North Pole and the region north of 90 angular degree(s)
(equal SouthPole (LatitudeFn South (MeasureFn 90 AngularDegree)))	Geography.kif 3997-4000	equal South Pole and the region south of 90 angular degree(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 4869-4876	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
(objectGeographicCoordinates NullIsland (MeasureFn 0 AngularDegree) (MeasureFn 0 AngularDegree))	Geography.kif 5433-5435	Null island is object geographic coordinates 0 angular degree(s) for 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

KB Term:			Term intersection

English Word: