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

Formal Language: 



Term 1: Term 2:

(subclass Gasket Device) Cars.kif 2838-2838 Gasket ist eine teilkategorie von Device
(subclass ORing Gasket) Cars.kif 3339-3339 ORing ist eine teilkategorie von Gasket
(subclass PistonRing Gasket) Cars.kif 3810-3810 PistonRing ist eine teilkategorie von Gasket


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