totalLengthOfHighwaySystem |
appearance as argument number 1 |
(documentation totalLengthOfHighwaySystem EnglishLanguage "(totalLengthOfHighwaySystem ?AREA ?LENGTH) means that the total length of the highway system in the GeographicArea ?AREA is ?LENGTH. The figure includes both paved and unpaved roads.") | Transportation.kif 479-482 | |
(domain totalLengthOfHighwaySystem 1 GeographicArea) | Transportation.kif 477-477 | |
(domain totalLengthOfHighwaySystem 2 LengthMeasure) | Transportation.kif 478-478 | |
(instance totalLengthOfHighwaySystem BinaryPredicate) | Transportation.kif 476-476 |
appearance as argument number 2 |
(format ChineseLanguage totalLengthOfHighwaySystem "%2 %n 是 %1 的 total 高速公路系统长度") | domainEnglishFormat.kif 2507-2507 | |
(format ChineseTraditionalLanguage totalLengthOfHighwaySystem "%2 %n 是 %1 的 total 高速公路系統長度") | domainEnglishFormat.kif 2506-2506 | |
(format EnglishLanguage totalLengthOfHighwaySystem "%2 is %n a total length of highway system of %1") | domainEnglishFormat.kif 2505-2505 | |
(termFormat ChineseLanguage totalLengthOfHighwaySystem "公路系统总长度") | domainEnglishFormat.kif 58582-58582 | |
(termFormat ChineseTraditionalLanguage totalLengthOfHighwaySystem "公路系統總長度") | domainEnglishFormat.kif 58581-58581 | |
(termFormat EnglishLanguage totalLengthOfHighwaySystem "total length of highway system") | domainEnglishFormat.kif 58580-58580 |
antecedent |
(<=> (totalLengthOfHighwaySystem ?AREA ?LENGTH) (length (KappaFn ?HIGHWAYS (and (instance ?HIGHWAYS Roadway) (located ?HIGHWAYS ?AREA))) ?LENGTH)) |
Transportation.kif 484-491 | |
(=> (and (totalLengthOfHighwaySystem ?AREA (MeasureFn ?LENGTH ?UNIT)) (instance ?UNIT UnitOfLength) (greaterThan ?LENGTH 0)) (exists (?HIGHWAY) (and (instance ?HIGHWAY Roadway) (located ?HIGHWAY ?AREA)))) |
Transportation.kif 493-501 | |
(=> (and (totalLengthOfHighwaySystem ?AREA (MeasureFn ?LENGTH ?UNIT)) (lengthOfPavedHighway ?AREA (MeasureFn ?LENGTH1 ?UNIT)) (lengthOfUnpavedHighway ?AREA (MeasureFn ?LENGTH2 ?UNIT)) (instance ?UNIT UnitOfLength)) (totalLengthOfHighwaySystem ?AREA (MeasureFn (AdditionFn ?LENGTH1 ?LENGTH2) ?UNIT))) |
Transportation.kif 510-517 | |
(=> (and (totalLengthOfHighwaySystem ?AREA (MeasureFn ?LENGTH ?UNIT)) (lengthOfPavedHighway ?AREA (MeasureFn ?LENGTH1 ?UNIT)) (lengthOfUnpavedHighway ?AREA (MeasureFn ?LENGTH2 ?UNIT))) (equal ?LENGTH (AdditionFn ?LENGTH1 ?LENGTH2))) |
Transportation.kif 503-508 | |
(=> (and (totalLengthOfHighwaySystem ?AREA (MeasureFn ?TOTAL ?UNIT)) (lengthOfPavedHighway ?AREA (MeasureFn ?PAVED ?UNIT))) (greaterThanOrEqualTo ?TOTAL ?PAVED)) |
Transportation.kif 519-525 | |
(=> (and (totalLengthOfHighwaySystem ?AREA (MeasureFn ?TOTAL ?UNIT)) (lengthOfUnpavedHighway ?AREA (MeasureFn ?UNPAVED ?UNIT))) (greaterThanOrEqualTo ?TOTAL ?UNPAVED)) |
Transportation.kif 527-533 |
consequent |
(=> (and (totalLengthOfHighwaySystem ?AREA (MeasureFn ?LENGTH ?UNIT)) (lengthOfPavedHighway ?AREA (MeasureFn ?LENGTH1 ?UNIT)) (lengthOfUnpavedHighway ?AREA (MeasureFn ?LENGTH2 ?UNIT)) (instance ?UNIT UnitOfLength)) (totalLengthOfHighwaySystem ?AREA (MeasureFn (AdditionFn ?LENGTH1 ?LENGTH2) ?UNIT))) |
Transportation.kif 510-517 |