Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
PetroleumProduct(petroleum product)
|  | crude, crude_oil, fossil_oil, mineral_jelly, oil, petrochemical, petrolatum, petroleum, petroleum_jelly, resid, residual_oil, rock_oil |
| appearance as argument number 1 |
|
|
| (subclass PetroleumProduct Oil) | Mid-level-ontology.kif 2209-2209 | Petroleum product is a subclass of oil |
| (documentation PetroleumProduct EnglishLanguage "PetroleumProduct is a broad class that includes both crude oil (Petroleum) and RefinedPetroleumProducts.") | Mid-level-ontology.kif 2210-2211 | Petroleum product is a subclass of oil |
| (externalImage PetroleumProduct "http://upload.wikimedia.org/wikipedia/commons/ 6/ 63/ Motor_oil.jpg") | pictureList.kif 2505-2505 | Petroleum product is a subclass of oil |
| (externalImage PetroleumProduct "http://upload.wikimedia.org/wikipedia/commons/ 2/ 24/ Grangemouth04nov06.jpg") | pictureList.kif 2611-2611 | Petroleum product is a subclass of oil |
| appearance as argument number 2 |
|
|
| antecedent |
|
|
| (=> (instance ?PP PetroleumProduct) (exists (?O) (and (instance ?O OrganicCompound) (part ?O ?PP)))) |
Mid-level-ontology.kif 2212-2217 | If X is an instance of petroleum product, then there exists Y such that Y is an instance of organic compound and Y is a part of X |
| consequent |
|
|
| (=> (and (instance ?PIPE PetroleumProductPipeline) (instance ?MOTION Motion) (instrument ?MOTION ?PIPE) (patient ?MOTION ?STUFF)) (instance ?STUFF PetroleumProduct)) |
Transportation.kif 826-832 | If X is an instance of petroleum product pipeline, Y is an instance of motion, X is an instrument for Y, and Z is a patient of Y, then Z is an instance of petroleum product |
| (=> (instance ?SHIP PetroleumTankerShip) (cargoType ?SHIP PetroleumProduct)) |
Transportation.kif 2553-2555 | If X is an instance of petroleum tanker ship, then petroleum product is a cargo type of X |
|