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 2322-2322 AutomobileTransmission ist eine teilkategorie von Gearbox
(subclass SteeringBox Gearbox) Cars.kif 3948-3948 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