totalPipelineInArea |
appearance as argument number 1 |
(documentation totalPipelineInArea EnglishLanguage "(totalPipelineInArea ?AREA ?LENGTH) means that the GeopoliticalArea ?AREA has ?LENGTH of Pipelines.") | Transportation.kif 681-683 | |
(domain totalPipelineInArea 1 GeographicArea) | Transportation.kif 679-679 | |
(domain totalPipelineInArea 2 LengthMeasure) | Transportation.kif 680-680 | |
(instance totalPipelineInArea BinaryPredicate) | Transportation.kif 678-678 |
appearance as argument number 2 |
(format ChineseLanguage totalPipelineInArea "%2 %n 是 在地区 %1 的 total 管线") | domainEnglishFormat.kif 2519-2519 | |
(format ChineseTraditionalLanguage totalPipelineInArea "%2 %n 是 在地區 %1 的 total 管線") | domainEnglishFormat.kif 2518-2518 | |
(format EnglishLanguage totalPipelineInArea "%2 is %n a total pipeline in area of %1") | domainEnglishFormat.kif 2517-2517 | |
(termFormat ChineseLanguage totalPipelineInArea "区域总管道") | domainEnglishFormat.kif 58606-58606 | |
(termFormat ChineseTraditionalLanguage totalPipelineInArea "區域總管道") | domainEnglishFormat.kif 58605-58605 | |
(termFormat EnglishLanguage totalPipelineInArea "total pipeline in area") | domainEnglishFormat.kif 58604-58604 |
antecedent |
(<=> (totalPipelineInArea ?AREA ?LENGTH) (length (KappaFn ?PIPE (and (instance ?PIPE Pipeline) (located ?PIPE ?AREA))) ?LENGTH)) |
Transportation.kif 685-692 | |
(=> (and (lengthOfCrudeOilPipeline ?AREA (MeasureFn ?AMOUNT1 Meter)) (totalPipelineInArea ?AREA (MeasureFn ?AMOUNT2 Meter))) (lessThanOrEqualTo ?AMOUNT1 ?AMOUNT2)) |
Transportation.kif 721-725 | |
(=> (and (lengthOfNaturalGasPipeline ?AREA (MeasureFn ?AMOUNT1 Meter)) (totalPipelineInArea ?AREA (MeasureFn ?AMOUNT2 Meter))) (lessThanOrEqualTo ?AMOUNT1 ?AMOUNT2)) |
Transportation.kif 744-748 | |
(=> (and (lengthOfPetroleumProductPipeline ?AREA (MeasureFn ?AMOUNT1 Meter)) (totalPipelineInArea ?AREA (MeasureFn ?AMOUNT2 Meter))) (lessThanOrEqualTo ?AMOUNT1 ?AMOUNT2)) |
Transportation.kif 767-771 | |
(=> (and (totalPipelineInArea ?AREA (MeasureFn ?LENGTH ?UNIT)) (instance ?UNIT UnitOfLength) (greaterThan ?LENGTH 0)) (exists (?PIPE) (and (instance ?PIPE Pipeline) (located ?PIPE ?AREA)))) |
Transportation.kif 694-702 |