AngularDegree(圆周角度) | ![]() |
appearance as argument number 1 |
![]() |
(documentation AngularDegree ChineseLanguage "这是一种量度平面角度的单位。") | chinese_format.kif 2618-2618 | |
(documentation AngularDegree EnglishLanguage "A plane angle measure.") | Merge.kif 7265-7265 | |
(instance AngularDegree UnitOfAngularMeasure) | Merge.kif 7263-7263 | 圆周角度 是 UnitOfAngularMeasure 的 instance |
appearance as argument number 2 |
![]() |
(termFormat ChineseLanguage AngularDegree "圆周角度") | domainEnglishFormat.kif 7545-7545 | |
(termFormat ChineseTraditionalLanguage AngularDegree "圓周角度") | domainEnglishFormat.kif 7544-7544 | |
(termFormat EnglishLanguage AngularDegree "angular degree") | domainEnglishFormat.kif 7543-7543 |
antecedent |
![]() |
(<=> (courseWRTTrueNorth ?OBJ1 ?OBJ2 (MeasureFn 0.0 AngularDegree)) (orientation ?OBJ1 ?OBJ2 North)) |
Geography.kif 3653-3655 | 客体 对于 %3 courseWRT 实际北 若且唯若 那个 客体 在 另一个 客体 的 北 |
(<=> (courseWRTTrueNorth ?OBJ1 ?OBJ2 (MeasureFn 135.0 AngularDegree)) (orientation ?OBJ1 ?OBJ2 Southeast)) |
Geography.kif 3677-3679 | 客体 对于 %3 courseWRT 实际北 若且唯若 那个 客体 在 另一个 客体 的 东南 |
(<=> (courseWRTTrueNorth ?OBJ1 ?OBJ2 (MeasureFn 180.0 AngularDegree)) (orientation ?OBJ1 ?OBJ2 South)) |
Geography.kif 3661-3663 | 客体 对于 %3 courseWRT 实际北 若且唯若 那个 客体 在 另一个 客体 的 南 |
(<=> (courseWRTTrueNorth ?OBJ1 ?OBJ2 (MeasureFn 225.0 AngularDegree)) (orientation ?OBJ1 ?OBJ2 Southwest)) |
Geography.kif 3681-3683 | 客体 对于 %3 courseWRT 实际北 若且唯若 那个 客体 在 另一个 客体 的 西南 |
(<=> (courseWRTTrueNorth ?OBJ1 ?OBJ2 (MeasureFn 270.0 AngularDegree)) (orientation ?OBJ1 ?OBJ2 West)) |
Geography.kif 3665-3667 | 客体 对于 %3 courseWRT 实际北 若且唯若 那个 客体 在 另一个 客体 的 西方 |
(<=> (courseWRTTrueNorth ?OBJ1 ?OBJ2 (MeasureFn 315.0 AngularDegree)) (orientation ?OBJ1 ?OBJ2 Northwest)) |
Geography.kif 3685-3687 | 客体 对于 %3 courseWRT 实际北 若且唯若 那个 客体 在 另一个 客体 的 西北 |
(<=> (courseWRTTrueNorth ?OBJ1 ?OBJ2 (MeasureFn 360.0 AngularDegree)) (orientation ?OBJ1 ?OBJ2 North)) |
Geography.kif 3669-3671 | 客体 对于 %3 courseWRT 实际北 若且唯若 那个 客体 在 另一个 客体 的 北 |
(<=> (courseWRTTrueNorth ?OBJ1 ?OBJ2 (MeasureFn 45.0 AngularDegree)) (orientation ?OBJ1 ?OBJ2 Northeast)) |
Geography.kif 3673-3675 | 客体 对于 %3 courseWRT 实际北 若且唯若 那个 客体 在 另一个 客体 的 东北 |
(<=> (courseWRTTrueNorth ?OBJ1 ?OBJ2 (MeasureFn 90.0 AngularDegree)) (orientation ?OBJ1 ?OBJ2 East)) |
Geography.kif 3657-3659 | 客体 对于 %3 courseWRT 实际北 若且唯若 那个 客体 在 另一个 客体 的 东 |
(<=> (measure ?OBJ (MeasureFn ?DEG AngularDegree)) (measure ?OBJ (MeasureFn (MultiplicationFn 60.0 ?DEG) ArcMinute))) |
Geography.kif 378-380 | 物理 的 measure 是 实数 圆周角度 若且唯若 那个 物理 的 measure 是 60.0 和 那个 实数 弧分 |
(=> (and (instance (LatitudeFn ?DIRECTION @ROW) Region) (equal (ListOrderFn (ListFn @ROW) 1) (MeasureFn ?NUM AngularDegree))) (lessThanOrEqualTo ?NUM 90.0)) |
Geography.kif 427-431 | |
(=> (and (instance (LongitudeFn ?DIRECTION @ROW) Region) (equal (ListOrderFn (ListFn @ROW) 1) (MeasureFn ?NUM AngularDegree))) (lessThanOrEqualTo ?NUM 180.0)) |
Geography.kif 467-474 | |
(=> (equal ?QUANT (MeasureFn ?N AngularDegree)) (instance ?QUANT PlaneAngleMeasure)) |
Merge.kif 7267-7269 | |
(=> (measure ?ANGLE (MeasureFn ?NUMBER AngularDegree)) (and (greaterThanOrEqualTo ?NUMBER 0.0) (lessThanOrEqualTo ?NUMBER 360.0))) |
Merge.kif 7275-7279 |
|
(=> (measure ?ANGLE (MeasureFn ?NUMBER AngularDegree)) (greaterThanOrEqualTo ?NUMBER 0.0)) |
Geography.kif 358-360 | |
(=> (measure ?ANGLE (MeasureFn ?NUMBER AngularDegree)) (lessThanOrEqualTo ?NUMBER 360.0)) |
Geography.kif 362-364 |
consequent |
![]() |
statement |
![]() |
(equal (MeasureFn 1.0 AngularDegree) (MeasureFn 60.0 ArcMinute)) |
Geography.kif 382-382 | 1.0 圆周角度 equal 60.0 弧分 |
(equal (MeasureFn ?NUM AngularDegree) (MeasureFn (MultiplicationFn 60.0 ?NUM) ArcMinute)) |
Geography.kif 383-383 | 实数 圆周角度 equal 60.0 和 那个 实数 弧分 |
(equal (MeasureFn ?NUMBER AngularDegree) (MeasureFn (MultiplicationFn ?NUMBER (DivisionFn Pi 180.0)) Radian)) |
Merge.kif 7271-7273 | 实数 圆周角度 equal 那个 实数 和 圆周率 和 180.0 弧度 |
(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 4561-4568 | 南部海洋 的 geographic 中心 是 对于 在 0.0 圆周角度 东 的 meridian 的 object 地理座标 65.0 圆周角度 的 region 南 |
![]() |
![]() |