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 3154-3157
(domain navigableForShippingTonnage 1 WaterArea)	Transportation.kif 3151-3151	The number 1 argument of navigable for shipping tonnage is an instance of water area
(domain navigableForShippingTonnage 2 PhysicalQuantity)	Transportation.kif 3152-3152	The number 2 argument of navigable for shipping tonnage is an instance of physical quantity
(instance navigableForShippingTonnage BinaryPredicate)	Transportation.kif 3150-3150	navigable for shipping tonnage is an instance of binary predicate

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

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 3159-3165