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 | PetroleumProductPipeline e' uma sub-classe de Pipeline |
appearance as argument number 2 |
(termFormat ChineseLanguage PetroleumProductPipeline "石油产品管道") | domainEnglishFormat.kif 45500-45500 | |
(termFormat ChineseTraditionalLanguage PetroleumProductPipeline "石油產品管道") | domainEnglishFormat.kif 45499-45499 | |
(termFormat EnglishLanguage PetroleumProductPipeline "petroleum product pipeline") | domainEnglishFormat.kif 45498-45498 |
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 | lengthOfPetroleumProductPipeline Area Geografica and Medida de Comprimento o comprimento de a classe descrita por Sequencia Simbolica e' Medida de Comprimento |