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

Formal Language: 



Term 1: Term 2:

(subclass Gear EngineeringComponent) engineering.kif 757-757 Gear ist eine teilkategorie von EngineeringComponent
(subclass BevelGear Gear) Cars.kif 1417-1417 BevelGear ist eine teilkategorie von Gear


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