navigableForShippingTonnage - Sigma Knowledge base Browser

appearance as argument number 1

(instance navigableForShippingTonnage BinaryPredicate)	Transportation.kif 3702-3702	navigable for shipping tonnage is an instance of binary predicate
(domain navigableForShippingTonnage 1 WaterArea)	Transportation.kif 3703-3703	The number 1 argument of navigable for shipping tonnage is an instance of water area
(domain navigableForShippingTonnage 2 PhysicalQuantity)	Transportation.kif 3704-3704	The number 2 argument of navigable for shipping tonnage is an instance of physical quantity
(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 3706-3709	The number 2 argument of navigable for shipping tonnage is an instance of physical quantity

appearance as argument number 2

(format EnglishLanguage navigableForShippingTonnage "%2 is %n a navigable for shipping tonnage of %1")	domainEnglishFormat.kif 1797-1797
(format ChineseTraditionalLanguage navigableForShippingTonnage "%2 %n 是 navigable 對於 %1 的運輸噸位")	domainEnglishFormat.kif 1798-1798
(format ChineseLanguage navigableForShippingTonnage "%2 %n 是 navigable 对于 %1 的运输吨位")	domainEnglishFormat.kif 1799-1799
(termFormat EnglishLanguage navigableForShippingTonnage "navigable for shipping tonnage")	domainEnglishFormat.kif 39979-39979
(termFormat ChineseTraditionalLanguage navigableForShippingTonnage "可通航航運噸位")	domainEnglishFormat.kif 39980-39980
(termFormat ChineseLanguage navigableForShippingTonnage "可通航航运吨位")	domainEnglishFormat.kif 39981-39981

antecedent

(=>
    (and
        (navigableForShippingTonnage ?WATERWAY
            (MeasureFn ?TONNAGE LongTon))
        (instance ?VESSEL WaterVehicle)
        (vesselDisplacement ?VESSEL
            (MeasureFn ?DWT LongTon))
        (lessThanOrEqualTo ?DWT ?TONNAGE))
    (capability
        (TripFn ?VESSEL) path ?WATERWAY))

If X long ton(s) is a navigable for shipping tonnage of Y, Z is an instance of water vehicle, W long ton(s) is a vessel displacement of Z, and W is less than or equal to X, then Y is capable of doing the trip of Z as a path