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	The number 1 argument of vessel dead weight tonnage is an instance of water vehicle
(domain vesselDeadWeightTonnage 2 MassMeasure)	Transportation.kif 2726-2726	The number 2 argument of vessel dead weight tonnage is an instance of mass measure
(instance vesselDeadWeightTonnage BinaryPredicate)	Transportation.kif 2724-2724	vessel dead weight tonnage is an instance of binary predicate
(subrelation vesselDeadWeightTonnage vesselDisplacement)	Transportation.kif 2727-2727	vessel dead weight tonnage is a subrelation of vessel displacement

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