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

Formal Language: 



Term 1: Term 2:

(subclass Exhaust Mixture) Cars.kif 1139-1139 Exhaust ist eine teilkategorie von Mixture
(subclass Smoke Exhaust) Cars.kif 1140-1140 Smoke ist eine teilkategorie von Exhaust


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