AngularDegree
|
|
appearance as argument number 1 |
(documentation AngularDegree ChineseLanguage "这是一种量度平面角度的单位。") | chinese_format.kif 2618-2618 | |
(documentation AngularDegree EnglishLanguage "A plane angle measure.") | Merge.kif 7362-7362 | |
(documentation AngularDegree JapaneseLanguage "平面角度メジャー。") | japanese_format.kif 1332-1332 | |
(instance AngularDegree UnitOfAngularMeasure) | Merge.kif 7360-7360 | AngularDegree ist ein fall von UnitOfAngularMeasure %n{nicht} |
appearance as argument number 2 |
(termFormat ChineseLanguage AngularDegree "圆周角度") | domainEnglishFormat.kif 7536-7536 | |
(termFormat ChineseTraditionalLanguage AngularDegree "圓周角度") | domainEnglishFormat.kif 7535-7535 | |
(termFormat EnglishLanguage AngularDegree "angular degree") | domainEnglishFormat.kif 7534-7534 |
antecedent |
(<=> (courseWRTTrueNorth ?OBJ1 ?OBJ2 (MeasureFn 0.0 AngularDegree)) (orientation ?OBJ1 ?OBJ2 North)) |
Geography.kif 3731-3733 | courseWRTTrueNorth Object, ** Object and 0.0 AngularDegree(s) genau dann wenn ** Object ist North hinsichlich ** ** Object %n{nicht} |
(<=> (courseWRTTrueNorth ?OBJ1 ?OBJ2 (MeasureFn 135.0 AngularDegree)) (orientation ?OBJ1 ?OBJ2 Southeast)) |
Geography.kif 3755-3757 | courseWRTTrueNorth Object, ** Object and 135.0 AngularDegree(s) genau dann wenn ** Object ist Southeast hinsichlich ** ** Object %n{nicht} |
(<=> (courseWRTTrueNorth ?OBJ1 ?OBJ2 (MeasureFn 180.0 AngularDegree)) (orientation ?OBJ1 ?OBJ2 South)) |
Geography.kif 3739-3741 | courseWRTTrueNorth Object, ** Object and 180.0 AngularDegree(s) genau dann wenn ** Object ist South hinsichlich ** ** Object %n{nicht} |
(<=> (courseWRTTrueNorth ?OBJ1 ?OBJ2 (MeasureFn 225.0 AngularDegree)) (orientation ?OBJ1 ?OBJ2 Southwest)) |
Geography.kif 3759-3761 | courseWRTTrueNorth Object, ** Object and 225.0 AngularDegree(s) genau dann wenn ** Object ist Southwest hinsichlich ** ** Object %n{nicht} |
(<=> (courseWRTTrueNorth ?OBJ1 ?OBJ2 (MeasureFn 270.0 AngularDegree)) (orientation ?OBJ1 ?OBJ2 West)) |
Geography.kif 3743-3745 | courseWRTTrueNorth Object, ** Object and 270.0 AngularDegree(s) genau dann wenn ** Object ist West hinsichlich ** ** Object %n{nicht} |
(<=> (courseWRTTrueNorth ?OBJ1 ?OBJ2 (MeasureFn 315.0 AngularDegree)) (orientation ?OBJ1 ?OBJ2 Northwest)) |
Geography.kif 3763-3765 | courseWRTTrueNorth Object, ** Object and 315.0 AngularDegree(s) genau dann wenn ** Object ist Northwest hinsichlich ** ** Object %n{nicht} |
(<=> (courseWRTTrueNorth ?OBJ1 ?OBJ2 (MeasureFn 360.0 AngularDegree)) (orientation ?OBJ1 ?OBJ2 North)) |
Geography.kif 3747-3749 | courseWRTTrueNorth Object, ** Object and 360.0 AngularDegree(s) genau dann wenn ** Object ist North hinsichlich ** ** Object %n{nicht} |
(<=> (courseWRTTrueNorth ?OBJ1 ?OBJ2 (MeasureFn 45.0 AngularDegree)) (orientation ?OBJ1 ?OBJ2 Northeast)) |
Geography.kif 3751-3753 | courseWRTTrueNorth Object, ** Object and 45.0 AngularDegree(s) genau dann wenn ** Object ist Northeast hinsichlich ** ** Object %n{nicht} |
(<=> (courseWRTTrueNorth ?OBJ1 ?OBJ2 (MeasureFn 90.0 AngularDegree)) (orientation ?OBJ1 ?OBJ2 East)) |
Geography.kif 3735-3737 | courseWRTTrueNorth Object, ** Object and 90.0 AngularDegree(s) genau dann wenn ** Object ist East hinsichlich ** ** Object %n{nicht} |
(<=> (measure ?OBJ (MeasureFn ?DEG AngularDegree)) (measure ?OBJ (MeasureFn (MultiplicationFn 60.0 ?DEG) ArcMinute))) |
Geography.kif 378-380 | Das mass von Physical ist RealNumber AngularDegree(s) %n{nicht} genau dann wenn das mass von ** Physical ist 60.0 und ** RealNumber ArcMinute(s) %n{nicht} |
(=> (and (instance (LatitudeFn ?DIRECTION @ROW) Region) (equal (ListOrderFn (ListFn @ROW) 1) (MeasureFn ?NUM AngularDegree))) (lessThanOrEqualTo ?NUM 90.0)) |
Geography.kif 427-431 |
|
(=> (and (instance (LongitudeFn ?DIRECTION @ROW) Region) (equal (ListOrderFn (ListFn @ROW) 1) (MeasureFn ?NUM AngularDegree))) (lessThanOrEqualTo ?NUM 180.0)) |
Geography.kif 467-474 |
|
(=> (equal ?QUANT (MeasureFn ?N AngularDegree)) (instance ?QUANT PlaneAngleMeasure)) |
Merge.kif 7364-7366 |
|
(=> (measure ?ANGLE (MeasureFn ?NUMBER AngularDegree)) (and (greaterThanOrEqualTo ?NUMBER 0.0) (lessThanOrEqualTo ?NUMBER 360.0))) |
Merge.kif 7372-7376 |
|
(=> (measure ?ANGLE (MeasureFn ?NUMBER AngularDegree)) (greaterThanOrEqualTo ?NUMBER 0.0)) |
Geography.kif 358-360 |
|
(=> (measure ?ANGLE (MeasureFn ?NUMBER AngularDegree)) (lessThanOrEqualTo ?NUMBER 360.0)) |
Geography.kif 362-364 |
|
consequent |
statement |
(equal (MeasureFn 1.0 AngularDegree) (MeasureFn 60.0 ArcMinute)) |
Geography.kif 382-382 | 1.0 AngularDegree(s) ist gleich 60.0 ArcMinute(s) %n{nicht} |
(equal (MeasureFn ?NUM AngularDegree) (MeasureFn (MultiplicationFn 60.0 ?NUM) ArcMinute)) |
Geography.kif 383-383 | RealNumber AngularDegree(s) ist gleich 60.0 und ** RealNumber ArcMinute(s) %n{nicht} |
(equal (MeasureFn ?NUMBER AngularDegree) (MeasureFn (MultiplicationFn ?NUMBER (DivisionFn Pi 180.0)) Radian)) |
Merge.kif 7368-7370 | RealNumber AngularDegree(s) ist gleich ** RealNumber und Pi und 180.0 Radian(s) %n{nicht} |
(objectGeographicCoordinates (GeographicCenterFn SouthernOcean) (LatitudeFn South (MeasureFn 65.0 AngularDegree) (MeasureFn 0.0 ArcMinute)) (LongitudeFn East (MeasureFn 0.0 AngularDegree) (MeasureFn 0.0 ArcMinute))) |
Geography.kif 4662-4669 | objectGeographicCoordinates GeographicCenterFn SouthernOcean, LatitudeFn South, 65.0 AngularDegree(s) and 0.0 ArcMinute(s) and LongitudeFn East, 0.0 AngularDegree(s) and 0.0 ArcMinute(s) |