Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - FitbitDevice
FitbitDevice(Fitbit)

appearance as argument number 1
-------------------------


(documentation FitbitDevice EnglishLanguage "A WearableItem made by FitbitCompany.") Medicine.kif 4460-4461
(manufacturer FitbitDevice FitbitCompany) Medicine.kif 4463-4463 The maker of Fitbit is Fitbit
(subclass FitbitDevice ElectricDevice) Medicine.kif 4459-4459 Fitbit is a subclass of electric device
(subclass FitbitDevice MeasuringDevice) Medicine.kif 4458-4458 Fitbit is a subclass of measuring device
(subclass FitbitDevice WearableItem) Medicine.kif 4457-4457 Fitbit is a subclass of wearable item

appearance as argument number 2
-------------------------


(termFormat EnglishLanguage FitbitDevice "Fitbit") Medicine.kif 4462-4462


Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)



Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners