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

appearance as argument number 2

(format ChineseLanguage vesselDeadWeightTonnage "%2 %n 是 %1 的 vessel 载重吨位")	domainEnglishFormat.kif 2579-2579
(format ChineseTraditionalLanguage vesselDeadWeightTonnage "%2 %n 是 %1 的 vessel 載重噸位")	domainEnglishFormat.kif 2578-2578
(format EnglishLanguage vesselDeadWeightTonnage "%2 is %n a vessel dead weight tonnage of %1")	domainEnglishFormat.kif 2577-2577
(termFormat ChineseLanguage vesselDeadWeightTonnage "船舶重量吨位")	domainEnglishFormat.kif 61622-61622
(termFormat ChineseTraditionalLanguage vesselDeadWeightTonnage "船舶重量噸位")	domainEnglishFormat.kif 61621-61621
(termFormat EnglishLanguage vesselDeadWeightTonnage "vessel dead weight tonnage")	domainEnglishFormat.kif 61620-61620

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 2729-2739