vesselDeadWeightTonnage - Sigma Knowledge base Browser

appearance as argument number 1

(documentation vesselDeadWeightTonnage EnglishLanguage "(vesselDeadWeightTonnage ?VESSEL ?AMOUNT) means that the WaterVehicle ?VESSEL has a carrying capacity when fully loaded of ?AMOUNT in LongTons. This is the Dead Weight Tonnage, or DWT, of the vessel, which is the total weight of cargo plus stores that the vessel can carry when immersed to the proper load line.")	Transportation.kif 2728-2733
(domain vesselDeadWeightTonnage 1 WaterVehicle)	Transportation.kif 2725-2725
(domain vesselDeadWeightTonnage 2 MassMeasure)	Transportation.kif 2726-2726
(instance vesselDeadWeightTonnage BinaryPredicate)	Transportation.kif 2724-2724
(subrelation vesselDeadWeightTonnage vesselDisplacement)	Transportation.kif 2727-2727

appearance as argument number 2

(format ChineseLanguage vesselDeadWeightTonnage "%2 %n 是 %1 的 vessel 载重吨位")	domainEnglishFormat.kif 2583-2583
(format ChineseTraditionalLanguage vesselDeadWeightTonnage "%2 %n 是 %1 的 vessel 載重噸位")	domainEnglishFormat.kif 2582-2582
(format EnglishLanguage vesselDeadWeightTonnage "%2 is %n a vessel dead weight tonnage of %1")	domainEnglishFormat.kif 2581-2581
(termFormat ChineseLanguage vesselDeadWeightTonnage "船舶重量吨位")	domainEnglishFormat.kif 61597-61597
(termFormat ChineseTraditionalLanguage vesselDeadWeightTonnage "船舶重量噸位")	domainEnglishFormat.kif 61596-61596
(termFormat EnglishLanguage vesselDeadWeightTonnage "vessel dead weight tonnage")	domainEnglishFormat.kif 61595-61595

antecedent

(=>
    (and
        (fleetDeadWeightTonnage ?FLEET
            (MeasureFn ?T LongTon))
        (vesselDeadWeightTonnage ?VESSEL
            (MeasureFn ?X LongTon))
        (member ?VESSEL ?FLEET))
    (exists (?L)
        (and
            (instance ?L List)
            (inList ?X ?L)
            (equal ?T
                (ListSumFn ?L)))))

Transportation.kif 2735-2745