|
|
   PetroleumProductPipeline
|
|
|
| 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 | 子類 石油產品管道 and 管道 |
| appearance as argument number 2 |
|
|
| (termFormat ChineseLanguage PetroleumProductPipeline "石油产品管道") | domainEnglishFormat.kif 45498-45498 | |
| (termFormat ChineseTraditionalLanguage PetroleumProductPipeline "石油產品管道") | domainEnglishFormat.kif 45497-45497 | |
| (termFormat EnglishLanguage PetroleumProductPipeline "petroleum product pipeline") | domainEnglishFormat.kif 45496-45496 |
| 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 | LengthMeasure 是 GeographicArea 的石油產品管線 length length 卡帕 SymbolicString and 例 SymbolicString and 石油產品管道 位於 SymbolicString and GeographicArea and LengthMeasure |
|
|
|
