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 | ArcMinute ist ein fall von UnitOfAngularMeasure %n{nicht} |
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 | Das mass von Physical ist RealNumber ArcMinute(s) %n{nicht} genau dann wenn das mass von ** Physical ist 60.0 und ** RealNumber ArcSecond(s) %n{nicht} |
(=> (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 |