ArcMinute(arc minute) |
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 | Arc minute is an instance of unit of angular measure |
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 | The measure of a physical is a real number arc minute(s) if and only if the measure of the physical is 60.0 and the real number arc second(s) |
(=> (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 |