NaturalGasPipeline - Sigma Knowledge base Browser

appearance as argument number 1

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

appearance as argument number 2

(termFormat EnglishLanguage NaturalGasPipeline "natural gas pipeline")	domainEnglishFormat.kif 39889-39889
(termFormat ChineseTraditionalLanguage NaturalGasPipeline "天然氣管道")	domainEnglishFormat.kif 39890-39890
(termFormat ChineseLanguage NaturalGasPipeline "天然气管道")	domainEnglishFormat.kif 39891-39891

antecedent

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

consequent

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

X is a length of natural gas pipeline of Y if and only if the length of the class described by Z is X