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

Formal Language: 



Term 1: Term 2:

(subclass Tire Device) Cars.kif 4788-4788 Tire ist eine teilkategorie von Device
(subclass FourByFourTire Tire) Cars.kif 4656-4656 FourByFourTire ist eine teilkategorie von Tire
(subclass ATVTire Tire) Cars.kif 4823-4823 ATVTire ist eine teilkategorie von Tire
(subclass MudTire Tire) Cars.kif 5000-5000 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