ArcSecond(arc second) |
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 | Arc second is an instance of unit of angular measure |
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 Arc minute(s) is equal to 60.0 arc second(s) |
(equal (MeasureFn ?DEG ArcMinute) (MeasureFn (MultiplicationFn 60.0 ?DEG) ArcSecond)) |
Geography.kif 402-402 | A real number arc minute(s) is equal to 60.0 and the real number arc second(s) |