| PetroleumProductPipeline(petroleum product pipeline)
|
| appearance as argument number 1 |
|
| (documentation PetroleumProductPipeline EnglishLanguage "PetroleumProductPipeline is the subclass of Pipelines that are used to carry PetroleumProducts.") | Transportation.kif 822-824 | |
| (externalImage PetroleumProductPipeline "http://upload.wikimedia.org/wikipedia/ en/ 5/ 56/ Pipeline-small_image%2C_seen_from_below.jpeg") | pictureList.kif 2508-2508 | |
| (subclass PetroleumProductPipeline Pipeline) | Transportation.kif 821-821 | Petroleum product pipeline is a subclass of pipeline |
| appearance as argument number 2 |
|
|
| (termFormat ChineseLanguage PetroleumProductPipeline "石油产品管道") | domainEnglishFormat.kif 45536-45536 | |
| (termFormat ChineseTraditionalLanguage PetroleumProductPipeline "石油產品管道") | domainEnglishFormat.kif 45535-45535 | |
| (termFormat EnglishLanguage PetroleumProductPipeline "petroleum product pipeline") | domainEnglishFormat.kif 45534-45534 |
| antecedent |
|
|
| (=> (and (instance ?PIPE PetroleumProductPipeline) (instance ?MOTION Motion) (instrument ?MOTION ?PIPE) (patient ?MOTION ?STUFF)) (instance ?STUFF PetroleumProduct)) |
Transportation.kif 826-832 |
|
| consequent |
|
|
| (<=> (lengthOfPetroleumProductPipeline ?AREA ?LENGTH) (length (KappaFn ?PIPELINE (and (instance ?PIPELINE PetroleumProductPipeline) (located ?PIPELINE ?AREA))) ?LENGTH)) |
Transportation.kif 758-765 | A length measure is a length of petroleum product pipeline of a geographic area if and only if the length of the class described by a symbolic string is the length measure |
|
|
|