(subclass FitbitDevice WearableItem) | Medicine.kif 4457-4457 | FitbitDevice est une sous-classe de WearableItem |
(subclass FitbitDevice MeasuringDevice) | Medicine.kif 4458-4458 | FitbitDevice est une sous-classe de MeasuringDevice |
(subclass FitbitDevice ElectricDevice) | Medicine.kif 4459-4459 | FitbitDevice est une sous-classe de ElectricDevice |