(domain CosineFn 1 PlaneAngleMeasure) |
Merge.kif 4958-4958 |
The number 1 argument of cosine is an instance of plane angle measure |
(domain SineFn 1 PlaneAngleMeasure) |
Merge.kif 5332-5332 |
The number 1 argument of sine is an instance of plane angle measure |
(domain TangentFn 1 PlaneAngleMeasure) |
Merge.kif 5353-5353 |
The number 1 argument of tangent is an instance of plane angle measure |
(domain angularMeasure 2 PlaneAngleMeasure) |
Merge.kif 18346-18346 |
The number 2 argument of angular measure is an instance of plane angle measure |
(domain courseWRTCompassNorth 3 PlaneAngleMeasure) |
Geography.kif 3641-3641 |
The number 3 argument of courseWRT compass north is an instance of plane angle measure |
(domain courseWRTMagneticNorth 3 PlaneAngleMeasure) |
Geography.kif 3612-3612 |
The number 3 argument of courseWRT magnetic north is an instance of plane angle measure |
(domain courseWRTTrueNorth 3 PlaneAngleMeasure) |
Geography.kif 3549-3549 |
The number 3 argument of courseWRT true north is an instance of plane angle measure |
(domain headingWRTCompassNorth 2 PlaneAngleMeasure) |
Geography.kif 3540-3540 |
The number 2 argument of headingWRT compass north is an instance of plane angle measure |
(domain headingWRTMagneticNorth 2 PlaneAngleMeasure) |
Geography.kif 3531-3531 |
The number 2 argument of headingWRT magnetic north is an instance of plane angle measure |
(domain headingWRTTrueNorth 2 PlaneAngleMeasure) |
Geography.kif 3522-3522 |
The number 2 argument of headingWRT true north is an instance of plane angle measure |
(domain magneticVariation 2 PlaneAngleMeasure) |
Geography.kif 3594-3594 |
The number 2 argument of magnetic variation is an instance of plane angle measure |
(domain relativeBearing 3 PlaneAngleMeasure) |
Geography.kif 3652-3652 |
The number 3 argument of relative bearing is an instance of plane angle measure |