navigableForShippingTonnage - Sigma Knowledge base Browser

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 2665-2668
(domain navigableForShippingTonnage 1 WaterArea)	Transportation.kif 2662-2662	Die Zahl 1 Argument von navigableForShippingTonnage ist ein fall von WaterArea %n{nicht}
(domain navigableForShippingTonnage 2 PhysicalQuantity)	Transportation.kif 2663-2663	Die Zahl 2 Argument von navigableForShippingTonnage ist ein fall von PhysicalQuantity %n{nicht}
(instance navigableForShippingTonnage BinaryPredicate)	Transportation.kif 2661-2661	navigableForShippingTonnage ist ein fall von BinaryPredicate %n{nicht}

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 39977-39977
(termFormat ChineseTraditionalLanguage navigableForShippingTonnage "可通航航運噸位")	domainEnglishFormat.kif 39976-39976
(termFormat EnglishLanguage navigableForShippingTonnage "navigable for shipping tonnage")	domainEnglishFormat.kif 39975-39975

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 2670-2676