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

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


(disjoint SolidAngleMeasure PlaneAngleMeasure) Merge.kif 6072-6072
(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 4634-4634
(domain courseWRTCompassNorth 3 PlaneAngleMeasure) Geography.kif 3721-3721
(domain courseWRTMagneticNorth 3 PlaneAngleMeasure) Geography.kif 3692-3692
(domain courseWRTTrueNorth 3 PlaneAngleMeasure) Geography.kif 3629-3629
(domain headingWRTCompassNorth 2 PlaneAngleMeasure) Geography.kif 3620-3620
(domain headingWRTMagneticNorth 2 PlaneAngleMeasure) Geography.kif 3611-3611
(domain headingWRTTrueNorth 2 PlaneAngleMeasure) Geography.kif 3602-3602
(domain magneticVariation 2 PlaneAngleMeasure) Geography.kif 3674-3674
(domain relativeBearing 3 PlaneAngleMeasure) Geography.kif 3732-3732

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


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


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



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