Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - PlaneAngleMeasure
PlaneAngleMeasure(plane angle measure)
ALT, EL, acute, altitude, angle_of_attack, angle_of_dip, angle_of_extinction, angle_of_incidence, angle_of_reflection, angle_of_refraction, anomaly, azimuthal, celestial_latitude, circular_measure, critical_angle, cutting_angle, dec, declination, depression, diagonal, dip, elevation, exterior_angle, external_angle, extinction_angle, face_angle, grade, hour_angle, incidence, incidence_angle, inclination, interior_angle, internal_angle, lead, magnetic_declination, magnetic_dip, magnetic_inclination, magnetic_variation, normal, oblique, obtuse, obtuse_angle, perigon, pitch, plane_angle, plane_angle_measure, rake, re-entrant, reentering_angle, reentrant...

appearance as argument number 1
-------------------------


(documentation PlaneAngleMeasure ChineseLanguage "这是平面一个角度的值。") Merge.kif 6478-6478
(documentation PlaneAngleMeasure EnglishLanguage "The value of an angle in a plane.") Merge.kif 6477-6477
(externalImage PlaneAngleMeasure "http://upload.wikimedia.org/wikipedia/ commons/ 1/ 1f/ Coordonnees_polaires_plan.png") pictureList.kif 24-24 "http://upload.wikimedia.org/wikipedia/commons/1/1f/ Coordonnees_polaires_plan.png" is a URL depicting plane angle measure
(subclass PlaneAngleMeasure AngleMeasure) Merge.kif 6476-6476 Plane angle measure is a subclass of angle measure

appearance as argument number 2
-------------------------


(disjoint SolidAngleMeasure PlaneAngleMeasure) Merge.kif 6481-6481 Solid angle measure is disjoint from plane angle measure
(termFormat ChineseLanguage PlaneAngleMeasure "平面角度测量") chinese_format.kif 1310-1310 "平面角度测量" is the printable form of plane angle measure in ChineseLanguage
(termFormat EnglishLanguage PlaneAngleMeasure "plane angle measure") english_format.kif 997-997 "plane angle measure" is the printable form of plane angle measure in english language

appearance as argument number 3
-------------------------


(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

antecedent
-------------------------


(=>
    (instance ?DEGREE PlaneAngleMeasure)
    (equal
        (TangentFn ?DEGREE)
        (DivisionFn
            (SineFn ?DEGREE)
            (CosineFn ?DEGREE))))
Merge.kif 5362-5364