Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
 |
   Lilac
|
|
|
| appearance as argument number 1 |
|
|
| (subclass Petroleum PetroleumProduct) | Economy.kif 6045-6045 | Petroleum is a subclass of petroleum product |
| (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 6049-6055 | Petroleum is a subclass of petroleum product |
| (externalImage Petroleum "http://articulatesoftware.com/SUMOpictures/energy/ Petroleum.png") | pictureList.kif 662-662 | Petroleum is a subclass of petroleum product |
| (externalImage Petroleum "http://upload.wikimedia.org/wikipedia/commons/ c/ ce/ Oil_well.jpg") | pictureList.kif 1899-1899 | Petroleum is a subclass of petroleum product |
| appearance as argument number 2 |
|
|
| (industryProductType CrudePetroleumExtraction Petroleum) | Economy.kif 1963-1963 | Petroleum is an industry product type of crude petroleum extraction |
| (names "petroleum" Petroleum) | Economy.kif 6046-6046 | Petroleum has name "petroleum" |
| (names "crude oil" Petroleum) | Economy.kif 6047-6047 | Petroleum has name "crude oil" |
| (termFormat EnglishLanguage Petroleum "petroleum") | domainEnglishFormat.kif 45431-45431 | Petroleum has name "crude oil" |
| (termFormat ChineseTraditionalLanguage Petroleum "石油") | domainEnglishFormat.kif 45432-45432 | Petroleum has name "crude oil" |
| (termFormat ChineseLanguage Petroleum "石油") | domainEnglishFormat.kif 45433-45433 | Petroleum has name "crude oil" |
| consequent |
|
|
| (=> (and (instance ?PIPE CrudeOilPipeline) (instance ?MOTION Motion) (instrument ?MOTION ?PIPE) (patient ?MOTION ?OIL)) (instance ?OIL Petroleum)) |
Transportation.kif 801-807 | If X is an instance of crude oil 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 |
| (=> (instance ?SHIP CombinationBulkOilCarrierShip) (cargoType ?SHIP Petroleum)) |
Transportation.kif 2592-2594 | If X is an instance of combination bulk oil carrier ship, then petroleum is a cargo type of X |
| (=> (instance ?SHIP CombinationOreOilCarrierShip) (cargoType ?SHIP Petroleum)) |
Transportation.kif 2602-2604 | If X is an instance of combination ore- oil carrier ship, then petroleum is a cargo type of X |
|
