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, rake, re-entrant, reentering_angle, reentrant, reentrant_angle...

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


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

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


(disjoint SolidAngleMeasure PlaneAngleMeasure) Merge.kif 5981-5981 Solid angle measure is disjoint from plane angle measure
(termFormat ChineseLanguage PlaneAngleMeasure "平面角度测量") chinese_format.kif 1310-1310
(termFormat EnglishLanguage PlaneAngleMeasure "plane angle measure") english_format.kif 1846-1846

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


(domain CosineFn 1 PlaneAngleMeasure) Merge.kif 4570-4570 The number 1 argument of cosine is an instance of plane angle measure
(domain SineFn 1 PlaneAngleMeasure) Merge.kif 4919-4919 The number 1 argument of sine is an instance of plane angle measure
(domain TangentFn 1 PlaneAngleMeasure) Merge.kif 4939-4939 The number 1 argument of tangent is an instance of plane angle measure
(domain angularMeasure 2 PlaneAngleMeasure) Merge.kif 16617-16617 The number 2 argument of angular measure is an instance of plane angle measure
(domain courseWRTCompassNorth 3 PlaneAngleMeasure) Geography.kif 3654-3654 The number 3 argument of courseWRT compass north is an instance of plane angle measure
(domain courseWRTMagneticNorth 3 PlaneAngleMeasure) Geography.kif 3625-3625 The number 3 argument of courseWRT magnetic north is an instance of plane angle measure
(domain courseWRTTrueNorth 3 PlaneAngleMeasure) Geography.kif 3562-3562 The number 3 argument of courseWRT true north is an instance of plane angle measure
(domain headingWRTCompassNorth 2 PlaneAngleMeasure) Geography.kif 3553-3553 The number 2 argument of headingWRT compass north is an instance of plane angle measure
(domain headingWRTMagneticNorth 2 PlaneAngleMeasure) Geography.kif 3544-3544 The number 2 argument of headingWRT magnetic north is an instance of plane angle measure
(domain headingWRTTrueNorth 2 PlaneAngleMeasure) Geography.kif 3535-3535 The number 2 argument of headingWRT true north is an instance of plane angle measure
(domain magneticVariation 2 PlaneAngleMeasure) Geography.kif 3607-3607 The number 2 argument of magnetic variation is an instance of plane angle measure
(domain relativeBearing 3 PlaneAngleMeasure) Geography.kif 3665-3665 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 4947-4949