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

Formal Language: 



Term 1: Term 2:

(subclass Gearbox EngineeringComponent) engineering.kif 767-767 Gearbox ist eine teilkategorie von EngineeringComponent
(subclass AutomobileTransmission Gearbox) Cars.kif 2345-2345 AutomobileTransmission ist eine teilkategorie von Gearbox
(subclass SteeringBox Gearbox) Cars.kif 3971-3971 SteeringBox ist eine teilkategorie von Gearbox


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