(<=>
(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 |
(<=>
(orientation ?OBJ1 ?OBJ2 East)
(orientation ?OBJ2 ?OBJ1 West)) |
Merge.kif 15878-15880 |
orientation Object, Object and East orientation Object, Object and West |
(<=>
(orientation ?OBJ1 ?OBJ2 Northwest)
(and
(orientation ?OBJ1 ?OBJ2 North)
(orientation ?OBJ1 ?OBJ2 West))) |
Geography.kif 3526-3530 |
orientation Object, Object and Northwest orientation Object, Object and North orientation Object, Object and West |
(<=>
(orientation ?OBJ1 ?OBJ2 Southwest)
(and
(orientation ?OBJ1 ?OBJ2 South)
(orientation ?OBJ1 ?OBJ2 West))) |
Geography.kif 3514-3518 |
orientation Object, Object and Southwest orientation Object, Object and South orientation Object, Object and West |
(=>
(and
(courseWRTMagneticNorth ?OBJ1 ?OBJ2 ?MAGDEGREE)
(partlyLocated ?OBJ1 ?AREA)
(partlyLocated ?OBJ2 ?AREA)
(magneticVariation ?AREA ?DEGREE ?DIRECTION))
(exists (?DIFFDEGREE ?TRUEDEGREE)
(and
(=>
(and
(equal ?DIRECTION East)
(equal ?DIFFDEGREE
(AdditionFn ?MAGDEGREE ?DEGREE)))
(courseWRTTrueNorth ?OBJ1 ?OBJ2 ?TRUEDEGREE))
(=>
(and
(equal ?DIRECTION West)
(equal ?DIFFDEGREE
(SubtractionFn ?MAGDEGREE ?DEGREE)))
(courseWRTTrueNorth ?OBJ1 ?OBJ2 ?TRUEDEGREE))))) |
Geography.kif 3632-3649 |
|
(=>
(instance
(LongitudeFn ?DIRECTION @ROW) Region)
(or
(equal ?DIRECTION East)
(equal ?DIRECTION West))) |
Geography.kif 461-465 |
|
(=>
(magneticVariation ?AREA ?DEGREE ?DIRECTION)
(or
(equal ?DIRECTION East)
(equal ?DIRECTION West))) |
Geography.kif 3616-3620 |
|
