| 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 | Petroleum is a subclass of petroleum product |
| appearance as argument number 2 |
|
|
| (industryProductType CrudePetroleumExtraction Petroleum) | Economy.kif 1968-1968 | Petroleum is an industry product type of crude petroleum extraction |
| (names "crude oil" Petroleum) | Economy.kif 6028-6028 | Petroleum has name "crude oil" |
| (names "petroleum" Petroleum) | Economy.kif 6027-6027 | Petroleum has name "petroleum" |
| (termFormat ChineseLanguage Petroleum "石油") | domainEnglishFormat.kif 45469-45469 | Petroleum has name "petroleum" |
| (termFormat ChineseTraditionalLanguage Petroleum "石油") | domainEnglishFormat.kif 45468-45468 | Petroleum has name "petroleum" |
| (termFormat EnglishLanguage Petroleum "petroleum") | domainEnglishFormat.kif 45467-45467 | Petroleum has name "petroleum" |
| 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 |
|
|
|
|