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

Formal Language: 



Term 1: Term 2:

(subclass Tire Device) Cars.kif 4765-4765 Tire ist eine teilkategorie von Device
(subclass FourByFourTire Tire) Cars.kif 4633-4633 FourByFourTire ist eine teilkategorie von Tire
(subclass ATVTire Tire) Cars.kif 4800-4800 ATVTire ist eine teilkategorie von Tire
(subclass MudTire Tire) Cars.kif 4977-4977 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