| 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 2523-2523 | |
| (format ChineseTraditionalLanguage totalPipelineInArea "%2 %n 是 在地區 %1 的 total 管線") | domainEnglishFormat.kif 2522-2522 | |
| (format EnglishLanguage totalPipelineInArea "%2 is %n a total pipeline in area of %1") | domainEnglishFormat.kif 2521-2521 | |
| (termFormat ChineseLanguage totalPipelineInArea "区域总管道") | domainEnglishFormat.kif 58641-58641 | |
| (termFormat ChineseTraditionalLanguage totalPipelineInArea "區域總管道") | domainEnglishFormat.kif 58640-58640 | |
| (termFormat EnglishLanguage totalPipelineInArea "total pipeline in area") | domainEnglishFormat.kif 58639-58639 |
| 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 |
|
Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)
|
|
Sigma web home Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners