Term Intersection : Welcome guest : log in		 [  Home |  Graph |  ]  KB:  Language:   

Formal Language: 



Term 1: Term 2:

(subclass FitbitDevice WearableItem) Medicine.kif 4457-4457 FitbitDevice ist eine teilkategorie von WearableItem
(subclass FitbitDevice MeasuringDevice) Medicine.kif 4458-4458 FitbitDevice ist eine teilkategorie von MeasuringDevice
(subclass FitbitDevice ElectricDevice) Medicine.kif 4459-4459 FitbitDevice ist eine teilkategorie von ElectricDevice


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