(subclass FitbitDevice WearableItem) | Medicine.kif 4457-4457 | Fitbit is a subclass of wearable item |
(subclass FitbitDevice MeasuringDevice) | Medicine.kif 4458-4458 | Fitbit is a subclass of measuring device |
(subclass FitbitDevice ElectricDevice) | Medicine.kif 4459-4459 | Fitbit is a subclass of electric device |