(subclass AngleMeasure ConstantQuantity) | Merge.kif 6313-6313 | 角度測定 は 一定量 の subclass では %n |
(subclass PlaneAngleMeasure AngleMeasure) | Merge.kif 6324-6324 | 平面角度測定 は 角度測定 の subclass では %n |
(subclass SolidAngleMeasure AngleMeasure) | Merge.kif 6328-6328 | 立体角測定 は 角度測定 の subclass では %n |