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 3162-3165
(domain navigableForShippingTonnage 1 WaterArea)	Transportation.kif 3159-3159	The number 1 argument of navigable for shipping tonnage is an instance of water area
(domain navigableForShippingTonnage 2 PhysicalQuantity)	Transportation.kif 3160-3160	The number 2 argument of navigable for shipping tonnage is an instance of physical quantity
(instance navigableForShippingTonnage BinaryPredicate)	Transportation.kif 3158-3158	navigable for shipping tonnage is an instance of binary predicate

appearance as argument number 2

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

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 3167-3173