CrudeOilPipeline - Sigma Knowledge base Browser

appearance as argument number 1

(subclass CrudeOilPipeline Pipeline)	Transportation.kif 797-797	Crude oil pipeline is a subclass of pipeline
(documentation CrudeOilPipeline EnglishLanguage "CrudeOilPipeline is the subclass of Pipelines that are used to carry CrudeOil.")	Transportation.kif 798-799	Crude oil pipeline is a subclass of pipeline
(externalImage CrudeOilPipeline "http://upload.wikimedia.org/wikipedia/commons/ 8/ 8f/ Trans_Alaska_Pipeline_System_Luca_Galuzzi_2005.jpg")	pictureList.kif 4635-4635	Crude oil pipeline is a subclass of pipeline

appearance as argument number 2

(termFormat EnglishLanguage CrudeOilPipeline "crude oil pipeline")	domainEnglishFormat.kif 17898-17898
(termFormat ChineseTraditionalLanguage CrudeOilPipeline "原油管道")	domainEnglishFormat.kif 17899-17899
(termFormat ChineseLanguage CrudeOilPipeline "原油管道")	domainEnglishFormat.kif 17900-17900

antecedent

(=>
    (and
        (instance ?PIPE CrudeOilPipeline)
        (instance ?MOTION Motion)
        (instrument ?MOTION ?PIPE)
        (patient ?MOTION ?OIL))
    (instance ?OIL Petroleum))

consequent

(<=>
    (lengthOfCrudeOilPipeline ?AREA ?LENGTH)
    (length
        (KappaFn ?PIPELINE
            (and
                (instance ?PIPELINE CrudeOilPipeline)
                (located ?PIPELINE ?AREA))) ?LENGTH))

X is a length of crude oil pipeline of Y if and only if the length of the class described by Z is X