(subclass AngleMeasure ConstantQuantity) | Merge.kif 6313-6313 | Mesure d'angle est une sous-classe de quantit� constante |
(subclass PlaneAngleMeasure AngleMeasure) | Merge.kif 6324-6324 | Mesure de l'angle d'une surface est une sous-classe de mesure d'angle |
(subclass SolidAngleMeasure AngleMeasure) | Merge.kif 6328-6328 | Mesure de l'angle dun objet en trois dimensions est une sous-classe de mesure d'angle |