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

Formal Language: 



Term 1: Term 2:

(subclass Hose Tube) Cars.kif 4257-4257 Hose ist eine teilkategorie von Tube
(subclass VacuumHose Hose) Cars.kif 4243-4243 VacuumHose ist eine teilkategorie von Hose


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