RefinedPetroleumProduct(refined petroleum product) |
appearance as argument number 1 |
(documentation RefinedPetroleumProduct EnglishLanguage "A Substance that is the result of the Distilling of Petroleum.") | Economy.kif 6045-6046 | |
(subclass RefinedPetroleumProduct PetroleumProduct) | Economy.kif 6044-6044 | Refined petroleum product is a subclass of petroleum product |
appearance as argument number 2 |
consequent |
(=> (and (instance ?ORG Organization) (attribute ?ORG GasolineStations)) (exists (?EV ?MEM) (and (member ?MEM ?ORG) (agent ?MEM ?EV) (exists (?THING) (and (instance ?EV Selling) (instance ?THING RefinedPetroleumProduct) (patient ?EV ?THING)))))) |
naics.kif 7472-7484 |
|