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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - PlaneAngleMeasure
PlaneAngleMeasure

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 6011-6011
(externalImage PlaneAngleMeasure "http://upload.wikimedia.org/wikipedia/ commons/ 1/ 1f/ Coordonnees_polaires_plan.png") pictureList.kif 24-24
(subclass PlaneAngleMeasure AngleMeasure) Merge.kif 6009-6009 subclass PlaneAngleMeasure and AngleMeasure

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


(disjoint SolidAngleMeasure PlaneAngleMeasure) Merge.kif 6014-6014 disjoint SolidAngleMeasure and PlaneAngleMeasure
(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 4611-4611 domain CosineFn, 1 and PlaneAngleMeasure
(domain SineFn 1 PlaneAngleMeasure) Merge.kif 4960-4960 domain SineFn, 1 and PlaneAngleMeasure
(domain TangentFn 1 PlaneAngleMeasure) Merge.kif 4980-4980 domain TangentFn, 1 and PlaneAngleMeasure
(domain angularMeasure 2 PlaneAngleMeasure) Merge.kif 16644-16644 domain angularMeasure, 2 and PlaneAngleMeasure
(domain courseWRTCompassNorth 3 PlaneAngleMeasure) Geography.kif 3654-3654 domain courseWRTCompassNorth, 3 and PlaneAngleMeasure
(domain courseWRTMagneticNorth 3 PlaneAngleMeasure) Geography.kif 3625-3625 domain courseWRTMagneticNorth, 3 and PlaneAngleMeasure
(domain courseWRTTrueNorth 3 PlaneAngleMeasure) Geography.kif 3562-3562 domain courseWRTTrueNorth, 3 and PlaneAngleMeasure
(domain headingWRTCompassNorth 2 PlaneAngleMeasure) Geography.kif 3553-3553 domain headingWRTCompassNorth, 2 and PlaneAngleMeasure
(domain headingWRTMagneticNorth 2 PlaneAngleMeasure) Geography.kif 3544-3544 domain headingWRTMagneticNorth, 2 and PlaneAngleMeasure
(domain headingWRTTrueNorth 2 PlaneAngleMeasure) Geography.kif 3535-3535 domain headingWRTTrueNorth, 2 and PlaneAngleMeasure
(domain magneticVariation 2 PlaneAngleMeasure) Geography.kif 3607-3607 domain magneticVariation, 2 and PlaneAngleMeasure
(domain relativeBearing 3 PlaneAngleMeasure) Geography.kif 3665-3665 domain relativeBearing, 3 and PlaneAngleMeasure

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


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