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 6336-6336
(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 6334-6334 子類 PlaneAngleMeasure and AngleMeasure

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


(disjoint SolidAngleMeasure PlaneAngleMeasure) Merge.kif 6339-6339 不相交的 SolidAngleMeasure and PlaneAngleMeasure
(range MagneticDeclinationFn PlaneAngleMeasure) Geography.kif 3766-3766 範圍 地磁偏角 and PlaneAngleMeasure
(termFormat ChineseLanguage PlaneAngleMeasure "平面角度测量") chinese_format.kif 1310-1310 範圍 地磁偏角 and PlaneAngleMeasure
(termFormat EnglishLanguage PlaneAngleMeasure "plane angle measure") english_format.kif 1837-1837 範圍 地磁偏角 and PlaneAngleMeasure
(termFormat FrenchLanguage PlaneAngleMeasure "mesure de l'angle d'une surface") french_format.kif 988-988 範圍 地磁偏角 and PlaneAngleMeasure
(termFormat Hindi PlaneAngleMeasure "samatala koNa maapa") terms-hindi.txt 523-523 範圍 地磁偏角 and PlaneAngleMeasure
(termFormat ItalianLanguage PlaneAngleMeasure "MisuraDiAngoloPiano") terms-it.txt 527-527 範圍 地磁偏角 and PlaneAngleMeasure
(termFormat JapaneseLanguage PlaneAngleMeasure "平面角度測定") japanese_format.kif 2672-2672 範圍 地磁偏角 and PlaneAngleMeasure
(termFormat PortugueseLanguage PlaneAngleMeasure "Medida de Angulo Planar") portuguese_format.kif 940-940 範圍 地磁偏角 and PlaneAngleMeasure
(termFormat cb PlaneAngleMeasure "sipilyang anggulong sukod") terms-cb.txt 529-529 範圍 地磁偏角 and PlaneAngleMeasure
(termFormat cz PlaneAngleMeasure "plane angle measure") terms-cz.txt 563-563 範圍 地磁偏角 and PlaneAngleMeasure
(termFormat de PlaneAngleMeasure "Ebenerwinkelmass") terms-de.txt 822-822 範圍 地磁偏角 and PlaneAngleMeasure
(termFormat ro PlaneAngleMeasure "mãsurã de unghi plan") relations-ro.kif 1009-1009 範圍 地磁偏角 and PlaneAngleMeasure
(termFormat tg PlaneAngleMeasure "sukat ng anggulong pantay") terms-tg.txt 528-528 範圍 地磁偏角 and PlaneAngleMeasure

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


(domain CosineFn 1 PlaneAngleMeasure) Merge.kif 4814-4814 域 餘弦, 1 and PlaneAngleMeasure
(domain courseWRTCompassNorth 3 PlaneAngleMeasure) Geography.kif 3900-3900 域 courseWRT羅盤北, 3 and PlaneAngleMeasure
(domain courseWRTMagneticNorth 3 PlaneAngleMeasure) Geography.kif 3868-3868 域 courseWRT北磁, 3 and PlaneAngleMeasure
(domain courseWRTTrueNorth 3 PlaneAngleMeasure) Geography.kif 3712-3712 域 courseWRT 真北, 3 and PlaneAngleMeasure
(domain headingWRTCompassNorth 2 PlaneAngleMeasure) Geography.kif 3703-3703 域 headingWRT羅盤北, 2 and PlaneAngleMeasure
(domain headingWRTMagneticNorth 2 PlaneAngleMeasure) Geography.kif 3694-3694 域 headingWRT磁北, 2 and PlaneAngleMeasure
(domain headingWRTTrueNorth 2 PlaneAngleMeasure) Geography.kif 3685-3685 域 headingWRT真北, 2 and PlaneAngleMeasure
(domain relativeBearing 3 PlaneAngleMeasure) Geography.kif 3911-3911 域 相對軸承, 3 and PlaneAngleMeasure

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


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


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