ArcSecond(弧秒) |
appearance as argument number 1 |
(documentation ArcSecond EnglishLanguage "ArcSecond represents a UnitOfMeasure equivalent to 1/ 60th of an ArcMinute.") | Geography.kif 386-387 | |
(instance ArcSecond UnitOfAngularMeasure) | Geography.kif 385-385 | 例 弧秒 and UnitOfAngularMeasure |
appearance as argument number 2 |
(termFormat ChineseLanguage ArcSecond "弧秒") | domainEnglishFormat.kif 8262-8262 | |
(termFormat ChineseTraditionalLanguage ArcSecond "弧秒") | domainEnglishFormat.kif 8261-8261 | |
(termFormat EnglishLanguage ArcSecond "arc second") | domainEnglishFormat.kif 8260-8260 |
antecedent |
(=> (measure ?ANGLE (MeasureFn ?NUMBER ArcSecond)) (greaterThanOrEqualTo ?NUMBER 0.0)) |
Geography.kif 389-391 |
|
(=> (measure ?ANGLE (MeasureFn ?NUMBER ArcSecond)) (lessThanOrEqualTo ?NUMBER 60.0)) |
Geography.kif 393-395 |
|
consequent |
statement |
(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 弧秒 |