vesselDisplacement - Sigma Knowledge base Browser

appearance as argument number 1

(documentation vesselDisplacement EnglishLanguage "(vesselDisplacement ?VESSEL ?AMOUNT) means that the displacement of WaterVehicle ?VESSEL is the PhysicalQuantity ?AMOUNT. The displacement of a vessel may be measured in LongTons (Dead Weight Tonnage, or DWT) or by volume (Gross Registered Tonnage, or GRT).")	Transportation.kif 2721-2725
(domain vesselDisplacement 1 WaterVehicle)	Transportation.kif 2718-2718	Le nombre 1 argument de vesselDisplacement est une instance de WaterVehicle
(domain vesselDisplacement 2 PhysicalQuantity)	Transportation.kif 2719-2719	Le nombre 2 argument de vesselDisplacement est une instance de quantit� physique
(instance vesselDisplacement BinaryPredicate)	Transportation.kif 2717-2717	vesselDisplacement est une instance de pr�dicat binaire
(subrelation vesselDisplacement measure)	Transportation.kif 2720-2720	vesselDisplacement est une sous-relation de measure

appearance as argument number 2

(format ChineseLanguage vesselDisplacement "%2 %n 是 %1 的 vessel 位移")	domainEnglishFormat.kif 2587-2587
(format ChineseTraditionalLanguage vesselDisplacement "%2 %n 是 %1 的 vessel 位移")	domainEnglishFormat.kif 2586-2586
(format EnglishLanguage vesselDisplacement "%2 is %n a vessel displacement of %1")	domainEnglishFormat.kif 2585-2585
(subrelation vesselDeadWeightTonnage vesselDisplacement)	Transportation.kif 2730-2730	vesselDeadWeightTonnage est une sous-relation de vesselDisplacement
(subrelation vesselGrossRegisteredTonnage vesselDisplacement)	Transportation.kif 2753-2753	vesselGrossRegisteredTonnage est une sous-relation de vesselDisplacement
(termFormat ChineseLanguage vesselDisplacement "船只位移")	domainEnglishFormat.kif 61574-61574	vesselGrossRegisteredTonnage est une sous-relation de vesselDisplacement
(termFormat ChineseTraditionalLanguage vesselDisplacement "船隻位移")	domainEnglishFormat.kif 61573-61573	vesselGrossRegisteredTonnage est une sous-relation de vesselDisplacement
(termFormat EnglishLanguage vesselDisplacement "vessel displacement")	domainEnglishFormat.kif 61572-61572	vesselGrossRegisteredTonnage est une sous-relation de vesselDisplacement

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 3168-3174