NaturalGasPipeline(天然气管道) |
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 | 天然气管道 是 管道 的 subclass |
appearance as argument number 2 |
(termFormat ChineseLanguage NaturalGasPipeline "天然气管道") | domainEnglishFormat.kif 39887-39887 | |
(termFormat ChineseTraditionalLanguage NaturalGasPipeline "天然氣管道") | domainEnglishFormat.kif 39886-39886 | |
(termFormat EnglishLanguage NaturalGasPipeline "natural gas pipeline") | domainEnglishFormat.kif 39885-39885 |
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 | 长度测量 是 地理区域 的 天然瓦斯管线的 length 若且唯若 符号串 所描述的类别 的 length 是 那个 长度测量 |