PetroleumProductPipeline - Sigma Knowledge base Browser

appearance as argument number 1

(subclass PetroleumProductPipeline Pipeline)	Transportation.kif 821-821	Petroleum product pipeline is a subclass of pipeline
(documentation PetroleumProductPipeline EnglishLanguage "PetroleumProductPipeline is the subclass of Pipelines that are used to carry PetroleumProducts.")	Transportation.kif 822-824	Petroleum product pipeline is a subclass of pipeline
(externalImage PetroleumProductPipeline "http://upload.wikimedia.org/wikipedia/ en/ 5/ 56/ Pipeline_small_image%2C_seen_from_below.jpeg")	pictureList.kif 2507-2507	Petroleum product pipeline is a subclass of pipeline

appearance as argument number 2

(termFormat EnglishLanguage PetroleumProductPipeline "petroleum product pipeline")	domainEnglishFormat.kif 45491-45491
(termFormat ChineseTraditionalLanguage PetroleumProductPipeline "石油產品管道")	domainEnglishFormat.kif 45492-45492
(termFormat ChineseLanguage PetroleumProductPipeline "石油产品管道")	domainEnglishFormat.kif 45493-45493

antecedent

(=>
    (and
        (instance ?PIPE PetroleumProductPipeline)
        (instance ?MOTION Motion)
        (instrument ?MOTION ?PIPE)
        (patient ?MOTION ?STUFF))
    (instance ?STUFF PetroleumProduct))

consequent

(<=>
    (lengthOfPetroleumProductPipeline ?AREA ?LENGTH)
    (length
        (KappaFn ?PIPELINE
            (and
                (instance ?PIPELINE PetroleumProductPipeline)
                (located ?PIPELINE ?AREA))) ?LENGTH))

X is a length of petroleum product pipeline of Y if and only if the length of the class described by Z is X