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 3160-3163
(domain navigableForShippingTonnage 1 WaterArea)	Transportation.kif 3157-3157	The number 1 argument of navigable for shipping tonnage is an instance of water area
(domain navigableForShippingTonnage 2 PhysicalQuantity)	Transportation.kif 3158-3158	The number 2 argument of navigable for shipping tonnage is an instance of physical quantity
(instance navigableForShippingTonnage BinaryPredicate)	Transportation.kif 3156-3156	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 40005-40005
(termFormat ChineseTraditionalLanguage navigableForShippingTonnage "可通航航運噸位")	domainEnglishFormat.kif 40004-40004
(termFormat EnglishLanguage navigableForShippingTonnage "navigable for shipping tonnage")	domainEnglishFormat.kif 40003-40003

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