ArcMinute(弧分) |
appearance as argument number 1 |
(documentation ArcMinute EnglishLanguage "ArcMinute represents a UnitOfMeasure equivalent to 1/ 60th of an AngularDegree.") | Geography.kif 367-368 | |
(instance ArcMinute UnitOfAngularMeasure) | Geography.kif 366-366 | 例 弧分 and UnitOfAngularMeasure |
appearance as argument number 2 |
(termFormat ChineseLanguage ArcMinute "弧分") | domainEnglishFormat.kif 8256-8256 | |
(termFormat ChineseTraditionalLanguage ArcMinute "弧分") | domainEnglishFormat.kif 8255-8255 | |
(termFormat EnglishLanguage ArcMinute "arc minute") | domainEnglishFormat.kif 8254-8254 |
antecedent |
(<=> (measure ?OBJ (MeasureFn ?DEG ArcMinute)) (measure ?OBJ (MeasureFn (MultiplicationFn 60.0 ?DEG) ArcSecond))) |
Geography.kif 397-399 | 測量 Physical and 測量 RealNumber and 弧分 測量 Physical and 測量 乘法 60.0 and RealNumber and 弧秒 |
(=> (measure ?ANGLE (MeasureFn ?NUMBER ArcMinute)) (greaterThanOrEqualTo ?NUMBER 0.0)) |
Geography.kif 370-372 |
|
(=> (measure ?ANGLE (MeasureFn ?NUMBER ArcMinute)) (lessThanOrEqualTo ?NUMBER 60.0)) |
Geography.kif 374-376 |
|
consequent |
statement |
(equal (MeasureFn 1.0 AngularDegree) (MeasureFn 60.0 ArcMinute)) |
Geography.kif 382-382 | 等於 測量 1.0 and 圓周角度 and 測量 60.0 and 弧分 |
(equal (MeasureFn 1.0 ArcMinute) (MeasureFn 60.0 ArcSecond)) |
Geography.kif 401-401 | 等於 測量 1.0 and 弧分 and 測量 60.0 and 弧秒 |
(equal (MeasureFn ?DEG ArcMinute) (MeasureFn (MultiplicationFn 60.0 ?DEG) ArcSecond)) |
Geography.kif 402-402 | 等於 測量 RealNumber and 弧分 and 測量 乘法 60.0 and RealNumber and 弧秒 |
(equal (MeasureFn ?NUM AngularDegree) (MeasureFn (MultiplicationFn 60.0 ?NUM) ArcMinute)) |
Geography.kif 383-383 | 等於 測量 RealNumber and 圓周角度 and 測量 乘法 60.0 and RealNumber and 弧分 |
(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 | 南部海洋 的 geographic 中心 是 對於 在 測量 0.0 and 圓周角度 東 的 meridian 的 object 地理座標 測量 65.0 and 圓周角度 的 region 南 |