(subclass AngleMeasure ConstantQuantity) | Merge.kif 6313-6313 | Medida de Angulo e' uma sub-classe de Quantidade Constante |
(subclass PlaneAngleMeasure AngleMeasure) | Merge.kif 6324-6324 | Medida de Angulo Planar e' uma sub-classe de Medida de Angulo |
(subclass SolidAngleMeasure AngleMeasure) | Merge.kif 6328-6328 | Medida de Angulo Solido e' uma sub-classe de Medida de Angulo |