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

Formal Language: 



KB Term:  Term intersection
English Word: 

  PlaneAngleMeasure

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 6236-6236
(externalImage PlaneAngleMeasure "http://upload.wikimedia.org/wikipedia/ commons/ 1/ 1f/ Coordonnees_polaires_plan.png") pictureList.kif 24-24
(subclass PlaneAngleMeasure AngleMeasure) Merge.kif 6234-6234 平面角度测量角度测量subclass

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


(disjoint SolidAngleMeasure PlaneAngleMeasure) Merge.kif 6239-6239 立体角度测量 和 % 2 是 disjoint
(termFormat ChineseLanguage PlaneAngleMeasure "平面角度测量") chinese_format.kif 1310-1310
(termFormat EnglishLanguage PlaneAngleMeasure "plane angle measure") english_format.kif 1837-1837

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


(domain CosineFn 1 PlaneAngleMeasure) Merge.kif 4711-4711 馀弦函数 的 1 数量 是 平面角度测量instance
(domain courseWRTCompassNorth 3 PlaneAngleMeasure) Geography.kif 3741-3741 courseWRT罗盘北 的 3 数量 是 平面角度测量instance
(domain courseWRTMagneticNorth 3 PlaneAngleMeasure) Geography.kif 3709-3709 courseWRT北磁 的 3 数量 是 平面角度测量instance
(domain courseWRTTrueNorth 3 PlaneAngleMeasure) Geography.kif 3646-3646 courseWRT 真北 的 3 数量 是 平面角度测量instance
(domain headingWRTCompassNorth 2 PlaneAngleMeasure) Geography.kif 3637-3637 headingWRT罗盘北 的 2 数量 是 平面角度测量instance
(domain headingWRTMagneticNorth 2 PlaneAngleMeasure) Geography.kif 3628-3628 headingWRT磁北 的 2 数量 是 平面角度测量instance
(domain headingWRTTrueNorth 2 PlaneAngleMeasure) Geography.kif 3619-3619 headingWRT真北 的 2 数量 是 平面角度测量instance
(domain magneticVariation 2 PlaneAngleMeasure) Geography.kif 3691-3691 磁变化 的 2 数量 是 平面角度测量instance
(domain relativeBearing 3 PlaneAngleMeasure) Geography.kif 3752-3752 相对轴承 的 3 数量 是 平面角度测量instance

consequent
-------------------------


(=>
    (equal ?QUANT
        (MeasureFn ?N AngularDegree))
    (instance ?QUANT PlaneAngleMeasure))
Merge.kif 7273-7275


Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree


Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners