navigableForShippingTonnage |
appearance as argument number 1 |
(documentation navigableForShippingTonnage EnglishLanguage "(navigableForShippingTonnage ?WATERWAY ?TONNAGE) means that the Waterway ?WATERWAY can be transited by vessels up to the tonnage ?TONNAGE (in Dead Weight Tonnage).") | Transportation.kif 2632-2635 | |
(domain navigableForShippingTonnage 1 WaterArea) | Transportation.kif 2629-2629 | |
(domain navigableForShippingTonnage 2 PhysicalQuantity) | Transportation.kif 2630-2630 | |
(instance navigableForShippingTonnage BinaryPredicate) | Transportation.kif 2628-2628 |
appearance as argument number 2 |
(format ChineseLanguage navigableForShippingTonnage "%2 %n 是 navigable 对于 %1 的运输吨位") | domainEnglishFormat.kif 1795-1795 | |
(format ChineseTraditionalLanguage navigableForShippingTonnage "%2 %n 是 navigable 對於 %1 的運輸噸位") | domainEnglishFormat.kif 1794-1794 | |
(format EnglishLanguage navigableForShippingTonnage "%2 is %n a navigable for shipping tonnage of %1") | domainEnglishFormat.kif 1793-1793 | |
(termFormat ChineseLanguage navigableForShippingTonnage "可通航航运吨位") | domainEnglishFormat.kif 39975-39975 | |
(termFormat ChineseTraditionalLanguage navigableForShippingTonnage "可通航航運噸位") | domainEnglishFormat.kif 39974-39974 | |
(termFormat EnglishLanguage navigableForShippingTonnage "navigable for shipping tonnage") | domainEnglishFormat.kif 39973-39973 |
antecedent |
(=> (and (navigableForShippingTonnage ?WATERWAY (MeasureFn ?TONNAGE LongTon)) (instance ?VESSEL WaterVehicle) (vesselDisplacement ?VESSEL (MeasureFn ?DWT LongTon)) (lessThanOrEqualTo ?DWT ?TONNAGE)) (capability (TripFn ?VESSEL) path ?WATERWAY)) |
Transportation.kif 2637-2643 |