Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Petroleum
Petroleum

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


(documentation Petroleum EnglishLanguage "Petroleum is commonly known as crude oil. It is a thick, dark brown or greenish flammable liquid, which exists in the upper strata of some areas of the Earth's crust. It consists of a complex mixture of various hydrocarbons, largely of the methane series, but may vary much in appearance, composition, and purity. (from Wikipedia) Crude oil has not be subject to the distillation that will yield a RefinedPetroleumProduct.") Economy.kif 4573-4579
(externalImage Petroleum "http://upload.wikimedia.org/wikipedia/commons/ c/ ce/ Oil_well.jpg") pictureList.kif 1901-1901
(externalImage Petroleum "http://www.adampease.org/Articulate/SUMOpictures/ pictures/ energy/ Petroleum.png") pictureList.kif 662-662
(subclass Petroleum PetroleumProduct) Economy.kif 4569-4569 subclass Petroleum and PetroleumProduct

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


(industryProductType CrudePetroleumExtraction Petroleum) Economy.kif 1847-1847 industryProductType CrudePetroleumExtraction and Petroleum
(names "crude oil" Petroleum) Economy.kif 4571-4571 names "crude oil" and Petroleum
(names "petroleum" Petroleum) Economy.kif 4570-4570 names "petroleum" and Petroleum
(termFormat ChineseLanguage Petroleum "石油") domainEnglishFormat.kif 45337-45337
(termFormat ChineseTraditionalLanguage Petroleum "石油") domainEnglishFormat.kif 45336-45336
(termFormat EnglishLanguage Petroleum "petroleum") domainEnglishFormat.kif 45335-45335

consequent
-------------------------


(=>
    (and
        (instance ?PIPE CrudeOilPipeline)
        (instance ?MOTION Motion)
        (instrument ?MOTION ?PIPE)
        (patient ?MOTION ?OIL))
    (instance ?OIL Petroleum))
Transportation.kif 790-796
(=>
    (instance ?SHIP CombinationBulk-OilCarrierShip)
    (cargoType ?SHIP Petroleum))
Transportation.kif 2393-2395
(=>
    (instance ?SHIP CombinationOre-OilCarrierShip)
    (cargoType ?SHIP Petroleum))
Transportation.kif 2403-2405


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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners