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 6030-6036
(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 1899-1899
(subclass Petroleum PetroleumProduct) Economy.kif 6026-6026 PetroleumPetroleumProductsubclass では

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


(industryProductType CrudePetroleumExtraction Petroleum) Economy.kif 1968-1968 industryProductType CrudePetroleumExtraction and Petroleum
(names "crude oil" Petroleum) Economy.kif 6028-6028 Petroleum は "crude oil" の &ames$"name" を 持って
(names "petroleum" Petroleum) Economy.kif 6027-6027 Petroleum は "petroleum" の &ames$"name" を 持って
(termFormat ChineseLanguage Petroleum "石油") domainEnglishFormat.kif 45440-45440 Petroleum は "petroleum" の &ames$"name" を 持って
(termFormat ChineseTraditionalLanguage Petroleum "石油") domainEnglishFormat.kif 45439-45439 Petroleum は "petroleum" の &ames$"name" を 持って
(termFormat EnglishLanguage Petroleum "petroleum") domainEnglishFormat.kif 45438-45438 Petroleum は "petroleum" の &ames$"name" を 持って

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 2582-2584
(=>
    (instance ?SHIP CombinationOreOilCarrierShip)
    (cargoType ?SHIP Petroleum))
Transportation.kif 2592-2594


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 is open source software produced by Articulate Software and its partners