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 | The number 1 argument of total length of highway system is an instance of geographic area |
(domain totalLengthOfHighwaySystem 2 LengthMeasure) | Transportation.kif 478-478 | The number 2 argument of total length of highway system is an instance of length measure |
(instance totalLengthOfHighwaySystem BinaryPredicate) | Transportation.kif 476-476 | total length of highway system is an instance of binary predicate |
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 |
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 |
|