vesselDeadWeightTonnage - Sigma Knowledge base Browser

appearance as argument number 1

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

appearance as argument number 2

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

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)))))

If X long ton(s) is a fleet dead weight tonnage of Y, Z long ton(s) is a vessel dead weight tonnage of W, and W is a member of Y, then there exists V such that V is an instance of list, Z is a member of V, equal X, and the sum of V