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

Formal Language: 



KB Term:  Term intersection
English Word: 

  FitbitDevice

 Sigma KEE - FitbitDevice
FitbitDevice(Fitbit)

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


No TPTP formula. May not be expressible in strict first order. Medicine.kif 4460-4461
No TPTP formula. May not be expressible in strict first order. Medicine.kif 4463-4463 The maker of Fitbit is Fitbit
No TPTP formula. May not be expressible in strict first order. Medicine.kif 4459-4459 Fitbit is a subclass of electric device
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 4457-4457 Fitbit is a subclass of wearable item

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


No TPTP formula. May not be expressible in strict first order. Medicine.kif 4462-4462


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

Show without tree


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