AngularDegree | ![]() |
appearance as argument number 1 |
![]() |
(documentation AngularDegree ChineseLanguage "这是一种量度平面角度的单位。") | chinese_format.kif 2618-2618 | |
(documentation AngularDegree EnglishLanguage "A plane angle measure.") | Merge.kif 7070-7070 | |
(instance AngularDegree UnitOfAngularMeasure) | Merge.kif 7068-7068 |
appearance as argument number 2 |
![]() |
(termFormat ChineseLanguage AngularDegree "圆周角度") | domainEnglishFormat.kif 7547-7547 | |
(termFormat ChineseTraditionalLanguage AngularDegree "圓周角度") | domainEnglishFormat.kif 7546-7546 | |
(termFormat EnglishLanguage AngularDegree "angular degree") | domainEnglishFormat.kif 7545-7545 |
antecedent |
![]() |
(<=> (courseWRTTrueNorth ?OBJ1 ?OBJ2 (MeasureFn 0 AngularDegree)) (orientation ?OBJ1 ?OBJ2 North)) |
Geography.kif 3569-3571 | |
(<=> (courseWRTTrueNorth ?OBJ1 ?OBJ2 (MeasureFn 135 AngularDegree)) (orientation ?OBJ1 ?OBJ2 Southeast)) |
Geography.kif 3593-3595 | |
(<=> (courseWRTTrueNorth ?OBJ1 ?OBJ2 (MeasureFn 180 AngularDegree)) (orientation ?OBJ1 ?OBJ2 South)) |
Geography.kif 3577-3579 | |
(<=> (courseWRTTrueNorth ?OBJ1 ?OBJ2 (MeasureFn 225 AngularDegree)) (orientation ?OBJ1 ?OBJ2 Southwest)) |
Geography.kif 3597-3599 | |
(<=> (courseWRTTrueNorth ?OBJ1 ?OBJ2 (MeasureFn 270 AngularDegree)) (orientation ?OBJ1 ?OBJ2 West)) |
Geography.kif 3581-3583 | |
(<=> (courseWRTTrueNorth ?OBJ1 ?OBJ2 (MeasureFn 315 AngularDegree)) (orientation ?OBJ1 ?OBJ2 Northwest)) |
Geography.kif 3601-3603 | |
(<=> (courseWRTTrueNorth ?OBJ1 ?OBJ2 (MeasureFn 360 AngularDegree)) (orientation ?OBJ1 ?OBJ2 North)) |
Geography.kif 3585-3587 | |
(<=> (courseWRTTrueNorth ?OBJ1 ?OBJ2 (MeasureFn 45 AngularDegree)) (orientation ?OBJ1 ?OBJ2 Northeast)) |
Geography.kif 3589-3591 | |
(<=> (courseWRTTrueNorth ?OBJ1 ?OBJ2 (MeasureFn 90 AngularDegree)) (orientation ?OBJ1 ?OBJ2 East)) |
Geography.kif 3573-3575 | |
(<=> (measure ?OBJ (MeasureFn ?DEG AngularDegree)) (measure ?OBJ (MeasureFn (MultiplicationFn 60 ?DEG) ArcMinute))) |
Geography.kif 378-380 | |
(=> (and (instance (LatitudeFn ?DIRECTION @ROW) Region) (equal (ListOrderFn (ListFn @ROW) 1) (MeasureFn ?NUM AngularDegree))) (lessThanOrEqualTo ?NUM 90)) |
Geography.kif 427-431 | |
(=> (and (instance (LongitudeFn ?DIRECTION @ROW) Region) (equal (ListOrderFn (ListFn @ROW) 1) (MeasureFn ?NUM AngularDegree))) (lessThanOrEqualTo ?NUM 180)) |
Geography.kif 467-474 | |
(=> (and (instance ?A AcuteAngle) (angularMeasure ?A (MeasureFn ?N AngularDegree))) (lessThan ?N 90)) |
Mid-level-ontology.kif 5182-5186 | |
(=> (and (instance ?A ObliqueAngle) (angularMeasure ?A (MeasureFn ?N AngularDegree))) (greaterThan ?N 90)) |
Mid-level-ontology.kif 5163-5167 | |
(=> (equal ?QUANT (MeasureFn ?N AngularDegree)) (instance ?QUANT PlaneAngleMeasure)) |
Merge.kif 7072-7074 | |
(=> (measure ?ANGLE (MeasureFn ?NUMBER AngularDegree)) (and (greaterThanOrEqualTo ?NUMBER 0.0) (lessThanOrEqualTo ?NUMBER 360.0))) |
Merge.kif 7080-7084 | |
(=> (measure ?ANGLE (MeasureFn ?NUMBER AngularDegree)) (greaterThanOrEqualTo ?NUMBER 0)) |
Geography.kif 358-360 | |
(=> (measure ?ANGLE (MeasureFn ?NUMBER AngularDegree)) (lessThanOrEqualTo ?NUMBER 360)) |
Geography.kif 362-364 |
consequent |
![]() |
(=> (instance ?A RightAngle) (angularMeasure ?A (MeasureFn 90 AngularDegree))) |
Mid-level-ontology.kif 5174-5176 | |
(=> (or (equal ?DIRECTION North) (equal ?DIRECTION South)) (length (LatitudeFn ?DIRECTION (MeasureFn 0 AngularDegree) (MeasureFn 1 ArcMinute) (MeasureFn 0 ArcSecond)) (MeasureFn 1 NauticalMile))) |
Geography.kif 433-440 |
statement |
![]() |
(equal (MeasureFn 0.0 AngularDegree) (MeasureFn 360.0 AngularDegree)) |
Merge.kif 7086-7086 | |
(equal (MeasureFn 1 AngularDegree) (MeasureFn 60 ArcMinute)) |
Geography.kif 382-382 | |
(equal (MeasureFn ?NUM AngularDegree) (MeasureFn (MultiplicationFn 60 ?NUM) ArcMinute)) |
Geography.kif 383-383 | |
(equal (MeasureFn ?NUMBER AngularDegree) (MeasureFn (MultiplicationFn ?NUMBER (DivisionFn Pi 180.0)) Radian)) |
Merge.kif 7076-7078 | |
(objectGeographicCoordinates (GeographicCenterFn SouthernOcean) (LatitudeFn South (MeasureFn 65 AngularDegree) (MeasureFn 0 ArcMinute)) (LongitudeFn East (MeasureFn 0 AngularDegree) (MeasureFn 0 ArcMinute))) |
Geography.kif 4390-4392 |
![]() |
![]() |