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

Formal Language: 



Term 1: Term 2:

(subclass UnpoweredDevice Device) Cars.kif 4480-4480 UnpoweredDevice ist eine teilkategorie von Device
(subclass HandTool UnpoweredDevice) Cars.kif 4471-4471 HandTool ist eine teilkategorie von UnpoweredDevice


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