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

Formal Language: 



Term 1: Term 2:

(subclass Tire Device) Cars.kif 4780-4780 Tire ist eine teilkategorie von Device
(subclass FourByFourTire Tire) Cars.kif 4648-4648 FourByFourTire ist eine teilkategorie von Tire
(subclass ATVTire Tire) Cars.kif 4815-4815 ATVTire ist eine teilkategorie von Tire
(subclass MudTire Tire) Cars.kif 4992-4992 MudTire ist eine teilkategorie von Tire


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