NaturalGasPipeline - Sigma Knowledge base Browser

appearance as argument number 1

(documentation NaturalGasPipeline EnglishLanguage "NaturalGasPipeline is the subclass of Pipelines that are used to carry NaturalGas.")	Transportation.kif 810-811
(subclass NaturalGasPipeline Pipeline)	Transportation.kif 809-809	Natural gas pipeline is a subclass of pipeline

appearance as argument number 2

(termFormat ChineseLanguage NaturalGasPipeline "天然气管道")	domainEnglishFormat.kif 39915-39915
(termFormat ChineseTraditionalLanguage NaturalGasPipeline "天然氣管道")	domainEnglishFormat.kif 39914-39914
(termFormat EnglishLanguage NaturalGasPipeline "natural gas pipeline")	domainEnglishFormat.kif 39913-39913

antecedent

(=>
    (and
        (instance ?PIPE NaturalGasPipeline)
        (instance ?MOTION Motion)
        (instrument ?MOTION ?PIPE)
        (patient ?MOTION ?GAS))
    (instance ?GAS NaturalGas))

Transportation.kif 813-819

consequent

(<=>
    (lengthOfNaturalGasPipeline ?AREA ?LENGTH)
    (length
        (KappaFn ?PIPELINE
            (and
                (instance ?PIPELINE NaturalGasPipeline)
                (located ?PIPELINE ?AREA))) ?LENGTH))

Transportation.kif 735-742