| 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 |
| appearance as argument number 2 |
|
|
| (disjoint SolidAngleMeasure PlaneAngleMeasure) | Merge.kif 6339-6339 | |
| (range MagneticDeclinationFn PlaneAngleMeasure) | Geography.kif 3766-3766 | |
| (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 de PlaneAngleMeasure "Ebenerwinkelmass") | terms-de.txt 822-822 | |
| (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 4814-4814 | |
| (domain courseWRTCompassNorth 3 PlaneAngleMeasure) | Geography.kif 3900-3900 | |
| (domain courseWRTMagneticNorth 3 PlaneAngleMeasure) | Geography.kif 3868-3868 | |
| (domain courseWRTTrueNorth 3 PlaneAngleMeasure) | Geography.kif 3712-3712 | |
| (domain headingWRTCompassNorth 2 PlaneAngleMeasure) | Geography.kif 3703-3703 | |
| (domain headingWRTMagneticNorth 2 PlaneAngleMeasure) | Geography.kif 3694-3694 | |
| (domain headingWRTTrueNorth 2 PlaneAngleMeasure) | Geography.kif 3685-3685 | |
| (domain relativeBearing 3 PlaneAngleMeasure) | Geography.kif 3911-3911 |
| consequent |
|
|
| (=> (equal ?QUANT (MeasureFn ?N AngularDegree)) (instance ?QUANT PlaneAngleMeasure)) |
Merge.kif 7392-7394 |
|
|
|