Browsing Interface : Welcome guest : log in 		[  Home |  Graph |  LogLearn |  Editor |  ]  KB:  Language: 
  Formal Language: 

KB Term:  Term intersection
English Word: 

Sigma KEE - RefinedPetroleumProduct
RefinedPetroleumProduct(refined petroleum product)

appearance as argument number 1
-------------------------


(subclass RefinedPetroleumProduct PetroleumProduct) Economy.kif 6346-6346 Refined petroleum product is a subclass of petroleum product
(documentation RefinedPetroleumProduct EnglishLanguage "A Substance that is the result of the Distilling of Petroleum.") Economy.kif 6347-6348 Refined petroleum product is a subclass of petroleum product

appearance as argument number 2
-------------------------


(industryProductType PetroleumRefineries RefinedPetroleumProduct) Economy.kif 1964-1964 Refined petroleum product is an industry product type of petroleum refineries
(subclass LiquefiedPetroleumGas RefinedPetroleumProduct) Economy.kif 6350-6350 Liquefied petroleum gas is a subclass of refined petroleum product
(subclass PetroleumLubricant RefinedPetroleumProduct) Economy.kif 6356-6356 Petroleum lubricant is a subclass of refined petroleum product
(subclass Asphalt RefinedPetroleumProduct) Economy.kif 6374-6374 Asphalt is a subclass of refined petroleum product
(termFormat EnglishLanguage RefinedPetroleumProduct "refined petroleum product") domainEnglishFormat.kif 49113-49113 Asphalt is a subclass of refined petroleum product
(termFormat ChineseTraditionalLanguage RefinedPetroleumProduct "精煉石油產品") domainEnglishFormat.kif 49114-49114 Asphalt is a subclass of refined petroleum product
(termFormat ChineseLanguage RefinedPetroleumProduct "精炼石油产品") domainEnglishFormat.kif 49115-49115 Asphalt is a subclass of refined petroleum product

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 7469-7481 If X is an instance of organization and gasoline stations is an attribute of X, then there exist Y, Z such that Z is a member of X, Y is an agent of Z, there exists W such that Y is an instance of selling, W is an instance of refined petroleum product, and W is a patient of Y


Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)


Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0.0-ac69cf7a (2026-05-13) is open source software produced by Articulate Software and its partners