(<=>
(courseWRTTrueNorth ?OBJ1 ?OBJ2
(MeasureFn 0 AngularDegree))
(orientation ?OBJ1 ?OBJ2 North)) |
Geography.kif 3569-3571 |
courseWRTTrueNorth Object, Object and MeasureFn 0 and AngularDegree orientation Object, Object and North |
(<=>
(courseWRTTrueNorth ?OBJ1 ?OBJ2
(MeasureFn 135 AngularDegree))
(orientation ?OBJ1 ?OBJ2 Southeast)) |
Geography.kif 3593-3595 |
courseWRTTrueNorth Object, Object and MeasureFn 135 and AngularDegree orientation Object, Object and Southeast |
(<=>
(courseWRTTrueNorth ?OBJ1 ?OBJ2
(MeasureFn 180 AngularDegree))
(orientation ?OBJ1 ?OBJ2 South)) |
Geography.kif 3577-3579 |
courseWRTTrueNorth Object, Object and MeasureFn 180 and AngularDegree orientation Object, Object and South |
(<=>
(courseWRTTrueNorth ?OBJ1 ?OBJ2
(MeasureFn 225 AngularDegree))
(orientation ?OBJ1 ?OBJ2 Southwest)) |
Geography.kif 3597-3599 |
courseWRTTrueNorth Object, Object and MeasureFn 225 and AngularDegree orientation Object, Object and Southwest |
(<=>
(courseWRTTrueNorth ?OBJ1 ?OBJ2
(MeasureFn 270 AngularDegree))
(orientation ?OBJ1 ?OBJ2 West)) |
Geography.kif 3581-3583 |
courseWRTTrueNorth Object, Object and MeasureFn 270 and AngularDegree orientation Object, Object and West |
(<=>
(courseWRTTrueNorth ?OBJ1 ?OBJ2
(MeasureFn 315 AngularDegree))
(orientation ?OBJ1 ?OBJ2 Northwest)) |
Geography.kif 3601-3603 |
courseWRTTrueNorth Object, Object and MeasureFn 315 and AngularDegree orientation Object, Object and Northwest |
(<=>
(courseWRTTrueNorth ?OBJ1 ?OBJ2
(MeasureFn 360 AngularDegree))
(orientation ?OBJ1 ?OBJ2 North)) |
Geography.kif 3585-3587 |
courseWRTTrueNorth Object, Object and MeasureFn 360 and AngularDegree orientation Object, Object and North |
(<=>
(courseWRTTrueNorth ?OBJ1 ?OBJ2
(MeasureFn 45 AngularDegree))
(orientation ?OBJ1 ?OBJ2 Northeast)) |
Geography.kif 3589-3591 |
courseWRTTrueNorth Object, Object and MeasureFn 45 and AngularDegree orientation Object, Object and Northeast |
(<=>
(courseWRTTrueNorth ?OBJ1 ?OBJ2
(MeasureFn 90 AngularDegree))
(orientation ?OBJ1 ?OBJ2 East)) |
Geography.kif 3573-3575 |
courseWRTTrueNorth Object, Object and MeasureFn 90 and AngularDegree orientation Object, Object and East |
(<=>
(measure ?OBJ
(MeasureFn ?DEG AngularDegree))
(measure ?OBJ
(MeasureFn
(MultiplicationFn 60 ?DEG) ArcMinute))) |
Geography.kif 378-380 |
measure Object and MeasureFn RealNumber and AngularDegree measure Object and MeasureFn MultiplicationFn 60 and RealNumber and ArcMinute |
(=>
(and
(instance
(LatitudeFn ?DIRECTION @ROW) Region)
(equal
(ListOrderFn
(ListFn @ROW) 1)
(MeasureFn ?NUM AngularDegree)))
(lessThanOrEqualTo ?NUM 90)) |
Geography.kif 427-431 |
|
(=>
(and
(instance
(LongitudeFn ?DIRECTION @ROW) Region)
(equal
(ListOrderFn
(ListFn @ROW) 1)
(MeasureFn ?NUM AngularDegree)))
(lessThanOrEqualTo ?NUM 180)) |
Geography.kif 467-474 |
|
(=>
(and
(instance ?A AcuteAngle)
(angularMeasure ?A
(MeasureFn ?N AngularDegree)))
(lessThan ?N 90)) |
Mid-level-ontology.kif 5182-5186 |
|
(=>
(and
(instance ?A ObliqueAngle)
(angularMeasure ?A
(MeasureFn ?N AngularDegree)))
(greaterThan ?N 90)) |
Mid-level-ontology.kif 5163-5167 |
|
(=>
(equal ?QUANT
(MeasureFn ?N AngularDegree))
(instance ?QUANT PlaneAngleMeasure)) |
Merge.kif 7059-7061 |
|
(=>
(measure ?ANGLE
(MeasureFn ?NUMBER AngularDegree))
(and
(greaterThanOrEqualTo ?NUMBER 0.0)
(lessThanOrEqualTo ?NUMBER 360.0))) |
Merge.kif 7067-7071 |
|
(=>
(measure ?ANGLE
(MeasureFn ?NUMBER AngularDegree))
(greaterThanOrEqualTo ?NUMBER 0)) |
Geography.kif 358-360 |
|
(=>
(measure ?ANGLE
(MeasureFn ?NUMBER AngularDegree))
(lessThanOrEqualTo ?NUMBER 360)) |
Geography.kif 362-364 |
|
