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

Formal Language: 



KB Term:  Term intersection
English Word: 

  PlaneAngleMeasure

 Sigma KEE - PlaneAngleMeasure
PlaneAngleMeasure(Medida de Angulo Planar)

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 6326-6326
(documentation PlaneAngleMeasure JapaneseLanguage "平面内の角度の値。") japanese_format.kif 1117-1117
(externalImage PlaneAngleMeasure "http://upload.wikimedia.org/wikipedia/ commons/ 1/ 1f/ Coordonnees_polaires_plan.png") pictureList.kif 24-24
(subclass PlaneAngleMeasure AngleMeasure) Merge.kif 6324-6324 Medida de Angulo Planar e' uma sub-classe de Medida de Angulo

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


(disjoint SolidAngleMeasure PlaneAngleMeasure) Merge.kif 6329-6329 Medida de Angulo Solido e' disjunto de Medida de Angulo Planar
(termFormat ChineseLanguage PlaneAngleMeasure "平面角度测量") chinese_format.kif 1310-1310
(termFormat EnglishLanguage PlaneAngleMeasure "plane angle measure") english_format.kif 1837-1837
(termFormat FrenchLanguage PlaneAngleMeasure "mesure de l'angle d'une surface") french_format.kif 988-988
(termFormat Hindi PlaneAngleMeasure "samatala koNa maapa") terms-hindi.txt 523-523
(termFormat ItalianLanguage PlaneAngleMeasure "MisuraDiAngoloPiano") terms-it.txt 527-527
(termFormat JapaneseLanguage PlaneAngleMeasure "平面角度測定") japanese_format.kif 2672-2672
(termFormat PortugueseLanguage PlaneAngleMeasure "Medida de Angulo Planar") portuguese_format.kif 940-940
(termFormat cb PlaneAngleMeasure "sipilyang anggulong sukod") terms-cb.txt 529-529
(termFormat cz PlaneAngleMeasure "plane angle measure") terms-cz.txt 563-563
(termFormat ro PlaneAngleMeasure "mãsurã de unghi plan") relations-ro.kif 1009-1009
(termFormat tg PlaneAngleMeasure "sukat ng anggulong pantay") terms-tg.txt 528-528

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


(domain CosineFn 1 PlaneAngleMeasure) Merge.kif 4801-4801 O argumento numero 1 de CosineFn e' uma instancia de Medida de Angulo Planar
(domain courseWRTCompassNorth 3 PlaneAngleMeasure) Geography.kif 3819-3819 O argumento numero 3 de courseWRTCompassNorth e' uma instancia de Medida de Angulo Planar
(domain courseWRTMagneticNorth 3 PlaneAngleMeasure) Geography.kif 3787-3787 O argumento numero 3 de courseWRTMagneticNorth e' uma instancia de Medida de Angulo Planar
(domain courseWRTTrueNorth 3 PlaneAngleMeasure) Geography.kif 3724-3724 O argumento numero 3 de courseWRTTrueNorth e' uma instancia de Medida de Angulo Planar
(domain headingWRTCompassNorth 2 PlaneAngleMeasure) Geography.kif 3715-3715 O argumento numero 2 de headingWRTCompassNorth e' uma instancia de Medida de Angulo Planar
(domain headingWRTMagneticNorth 2 PlaneAngleMeasure) Geography.kif 3706-3706 O argumento numero 2 de headingWRTMagneticNorth e' uma instancia de Medida de Angulo Planar
(domain headingWRTTrueNorth 2 PlaneAngleMeasure) Geography.kif 3697-3697 O argumento numero 2 de headingWRTTrueNorth e' uma instancia de Medida de Angulo Planar
(domain magneticVariation 2 PlaneAngleMeasure) Geography.kif 3769-3769 O argumento numero 2 de magneticVariation e' uma instancia de Medida de Angulo Planar
(domain relativeBearing 3 PlaneAngleMeasure) Geography.kif 3830-3830 O argumento numero 3 de relativeBearing e' uma instancia de Medida de Angulo Planar

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


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


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