AngularDegree | ![]() |
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 |
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 3889-3891 | |
(<=> (courseWRTTrueNorth ?OBJ1 ?OBJ2 (MeasureFn 135.0 AngularDegree)) (orientation ?OBJ1 ?OBJ2 Southeast)) |
Geography.kif 3913-3915 | |
(<=> (courseWRTTrueNorth ?OBJ1 ?OBJ2 (MeasureFn 180.0 AngularDegree)) (orientation ?OBJ1 ?OBJ2 South)) |
Geography.kif 3897-3899 | |
(<=> (courseWRTTrueNorth ?OBJ1 ?OBJ2 (MeasureFn 225.0 AngularDegree)) (orientation ?OBJ1 ?OBJ2 Southwest)) |
Geography.kif 3917-3919 | |
(<=> (courseWRTTrueNorth ?OBJ1 ?OBJ2 (MeasureFn 270.0 AngularDegree)) (orientation ?OBJ1 ?OBJ2 West)) |
Geography.kif 3901-3903 | |
(<=> (courseWRTTrueNorth ?OBJ1 ?OBJ2 (MeasureFn 315.0 AngularDegree)) (orientation ?OBJ1 ?OBJ2 Northwest)) |
Geography.kif 3921-3923 | |
(<=> (courseWRTTrueNorth ?OBJ1 ?OBJ2 (MeasureFn 360.0 AngularDegree)) (orientation ?OBJ1 ?OBJ2 North)) |
Geography.kif 3905-3907 | |
(<=> (courseWRTTrueNorth ?OBJ1 ?OBJ2 (MeasureFn 45.0 AngularDegree)) (orientation ?OBJ1 ?OBJ2 Northeast)) |
Geography.kif 3909-3911 | |
(<=> (courseWRTTrueNorth ?OBJ1 ?OBJ2 (MeasureFn 90.0 AngularDegree)) (orientation ?OBJ1 ?OBJ2 East)) |
Geography.kif 3893-3895 | |
(<=> (measure ?OBJ (MeasureFn ?DEG AngularDegree)) (measure ?OBJ (MeasureFn (MultiplicationFn 60.0 ?DEG) ArcMinute))) |
Geography.kif 548-550 | |
(=> (and (equal ?A AcuteAngle) (angularMeasure ?A (MeasureFn ?N AngularDegree))) (lessThan ?N 90.0)) |
Mid-level-ontology.kif 5493-5498 | |
(=> (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 | |
(=> (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 | |
(=> (and (equal ?O ObliqueAngle) (angularMeasure ?O (MeasureFn ?N AngularDegree))) (greaterThan ?N 90.0)) |
Mid-level-ontology.kif 5471-5476 | |
(=> (and (equal ?R RightAngle) (angularMeasure ?R (MeasureFn ?N AngularDegree))) (equal ?N 90.0)) |
Mid-level-ontology.kif 5482-5487 | |
(=> (and (instance (LatitudeFn ?DIRECTION @ROW) Region) (equal (ListOrderFn (ListFn @ROW) 1) (MeasureFn ?NUM AngularDegree))) (lessThanOrEqualTo ?NUM 90.0)) |
Geography.kif 597-601 | |
(=> (and (instance (LongitudeFn ?DIRECTION @ROW) Region) (equal (ListOrderFn (ListFn @ROW) 1) (MeasureFn ?NUM AngularDegree))) (lessThanOrEqualTo ?NUM 180.0)) |
Geography.kif 637-644 | |
(=> (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 3950-3962 | |
(=> (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 3966-3978 | |
(=> (equal ?QUANT (MeasureFn ?N AngularDegree)) (instance ?QUANT PlaneAngleMeasure)) |
Merge.kif 7407-7409 | |
(=> (measure ?ANGLE (MeasureFn ?NUMBER AngularDegree)) (and (greaterThanOrEqualTo ?NUMBER 0.0) (lessThanOrEqualTo ?NUMBER 360.0))) |
Merge.kif 7415-7419 | |
(=> (measure ?ANGLE (MeasureFn ?NUMBER AngularDegree)) (greaterThanOrEqualTo ?NUMBER 0.0)) |
Geography.kif 528-530 | |
(=> (measure ?ANGLE (MeasureFn ?NUMBER AngularDegree)) (lessThanOrEqualTo ?NUMBER 360.0)) |
Geography.kif 532-534 |
consequent |
![]() |
statement |
![]() |
(equal (MeasureFn 1.0 AngularDegree) (MeasureFn 60.0 ArcMinute)) |
Geography.kif 552-552 | |
(equal (MeasureFn ?NUM AngularDegree) (MeasureFn (MultiplicationFn 60.0 ?NUM) ArcMinute)) |
Geography.kif 553-553 | |
(equal (MeasureFn ?NUMBER AngularDegree) (MeasureFn (MultiplicationFn ?NUMBER (DivisionFn Pi 180.0)) Radian)) |
Merge.kif 7411-7413 | |
(equal NorthPole (LatitudeFn North (MeasureFn 90 AngularDegree))) |
Geography.kif 4003-4006 | |
(equal SouthPole (LatitudeFn South (MeasureFn 90 AngularDegree))) |
Geography.kif 4030-4033 | |
(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 4902-4909 | |
(objectGeographicCoordinates NullIsland (MeasureFn 0 AngularDegree) (MeasureFn 0 AngularDegree)) |
Geography.kif 5466-5468 |
![]() |
![]() |