No TPTP formula. May not be expressible in strict first order. | Medicine.kif 4457-4457 | Fitbit is a subclass of wearable item |
No TPTP formula. May not be expressible in strict first order. | Medicine.kif 4458-4458 | Fitbit is a subclass of measuring device |
No TPTP formula. May not be expressible in strict first order. | Medicine.kif 4459-4459 | Fitbit is a subclass of electric device |