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

Formal Language: 



Term 1: Term 2:

(subclass PetroleumLubricant RefinedPetroleumProduct) Economy.kif 5935-5935 PetroleumLubricant ist eine teilkategorie von RefinedPetroleumProduct
(subclass MotorOil PetroleumLubricant) Economy.kif 5939-5939 MotorOil ist eine teilkategorie von PetroleumLubricant


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