ArcSecond(arc second) |
appearance as argument number 1 |
![]() |
(documentation ArcSecond EnglishLanguage "ArcSecond represents a UnitOfMeasure equivalent to 1/ 60th of an ArcMinute.") | Geography.kif 556-557 | |
(instance ArcSecond UnitOfAngularMeasure) | Geography.kif 555-555 | Arc second is an instance of unit of angular measure |
appearance as argument number 2 |
![]() |
(termFormat ChineseLanguage ArcSecond "弧秒") | domainEnglishFormat.kif 8263-8263 | |
(termFormat ChineseTraditionalLanguage ArcSecond "弧秒") | domainEnglishFormat.kif 8262-8262 | |
(termFormat EnglishLanguage ArcSecond "arc second") | domainEnglishFormat.kif 8261-8261 |
antecedent |
![]() |
(=> (measure ?ANGLE (MeasureFn ?NUMBER ArcSecond)) (greaterThanOrEqualTo ?NUMBER 0.0)) |
Geography.kif 559-561 |
|
(=> (measure ?ANGLE (MeasureFn ?NUMBER ArcSecond)) (lessThanOrEqualTo ?NUMBER 60.0)) |
Geography.kif 563-565 |
|
consequent |
![]() |
statement |
![]() |
(equal (MeasureFn 1.0 ArcMinute) (MeasureFn 60.0 ArcSecond)) |
Geography.kif 571-571 | equal 1.0 arc minute(s) and 60.0 arc second(s) |
(equal (MeasureFn ?DEG ArcMinute) (MeasureFn (MultiplicationFn 60.0 ?DEG) ArcSecond)) |
Geography.kif 572-572 | equal a real number arc minute(s) and 60.0 and the real number arc second(s) |
![]() |
![]() |