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

Formal Language: 



Term 1: Term 2:

(subclass FluidPowerDevice EngineeringComponent) engineering.kif 737-737 FluidPowerDevice ist eine teilkategorie von EngineeringComponent
(subclass FluidCylinder FluidPowerDevice) engineering.kif 907-907 FluidCylinder ist eine teilkategorie von FluidPowerDevice
(subclass Valve FluidPowerDevice) engineering.kif 913-913 Valve ist eine teilkategorie von FluidPowerDevice
(subclass Faucet FluidPowerDevice) engineering.kif 932-932 Faucet ist eine teilkategorie von FluidPowerDevice


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