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

Formal Language: 



Term 1: Term 2:

(subclass RefinedPetroleumProduct PetroleumProduct) Economy.kif 5929-5929 RefinedPetroleumProduct ist eine teilkategorie von PetroleumProduct
(subclass LiquefiedPetroleumGas RefinedPetroleumProduct) Economy.kif 5933-5933 LiquefiedPetroleumGas ist eine teilkategorie von RefinedPetroleumProduct
(subclass PetroleumLubricant RefinedPetroleumProduct) Economy.kif 5935-5935 PetroleumLubricant ist eine teilkategorie von RefinedPetroleumProduct
(subclass Asphalt RefinedPetroleumProduct) Economy.kif 5953-5953 Asphalt ist eine teilkategorie von RefinedPetroleumProduct


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