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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Petroleum

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 5688-5694
(externalImage Petroleum "http://articulatesoftware.com/SUMOpictures/energy/ Petroleum.png") pictureList.kif 662-662
(externalImage Petroleum "http://upload.wikimedia.org/wikipedia/commons/ c/ ce/ Oil_well.jpg") pictureList.kif 1900-1900
(subclass Petroleum PetroleumProduct) Economy.kif 5684-5684 石油石油产品subclass

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


(industryProductType CrudePetroleumExtraction Petroleum) Economy.kif 1843-1843 石油原油开采industry 产品类别
(names "crude oil" Petroleum) Economy.kif 5686-5686 石油 的名 是 "crude oil"
(names "petroleum" Petroleum) Economy.kif 5685-5685 石油 的名 是 "petroleum"
(termFormat ChineseLanguage Petroleum "石油") domainEnglishFormat.kif 45438-45438
(termFormat ChineseTraditionalLanguage Petroleum "石油") domainEnglishFormat.kif 45437-45437
(termFormat EnglishLanguage Petroleum "petroleum") domainEnglishFormat.kif 45436-45436

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


(=>
    (and
        (instance ?PIPE CrudeOilPipeline)
        (instance ?MOTION Motion)
        (instrument ?MOTION ?PIPE)
        (patient ?MOTION ?OIL))
    (instance ?OIL Petroleum))
Transportation.kif 801-807
(=>
    (instance ?SHIP CombinationBulkOilCarrierShip)
    (cargoType ?SHIP Petroleum))
Transportation.kif 2404-2406
(=>
    (instance ?SHIP CombinationOreOilCarrierShip)
    (cargoType ?SHIP Petroleum))
Transportation.kif 2414-2416


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

Show without tree


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