laundryApplianceMaximumClothesVolume - Sigma Knowledge base Browser

appearance as argument number 1

(instance laundryApplianceMaximumClothesVolume BinaryPredicate)	HouseholdAppliances.kif 1586-1586	maximum clothes volume is an instance of binary predicate
(instance laundryApplianceMaximumClothesVolume SingleValuedRelation)	HouseholdAppliances.kif 1587-1587	maximum clothes volume is an instance of single valued relation
(instance laundryApplianceMaximumClothesVolume PartialValuedRelation)	HouseholdAppliances.kif 1588-1588	maximum clothes volume is an instance of partial valued relation
(documentation laundryApplianceMaximumClothesVolume EnglishLanguage "Highest possible voulme of cothes processedn in a single LaundryAppliance run.")	HouseholdAppliances.kif 1589-1589	maximum clothes volume is an instance of partial valued relation
(domainSubclass laundryApplianceMaximumClothesVolume 1 LaundryAppliance)	HouseholdAppliances.kif 1592-1592	The number 1 argument of maximum clothes volume is a subclass of dishwasher
(domain laundryApplianceMaximumClothesVolume 2 VolumeMeasure)	HouseholdAppliances.kif 1593-1593	The number 2 argument of maximum clothes volume is an instance of volume measure

appearance as argument number 2

antecedent

(=>
    (and
        (subclass ?X ClothesWashingMachine)
        (laundryApplianceMaximumClothesVolume ?X
            (MeasureFn ?VOL Liter))
        (waterConsumptionPerWashingCycle ?X
            (MeasureFn ?WATER UnitedStatesGallon)))
    (clothesWasherWaterFactor ?X
        (DivisionFn ?WATER
            (MultiplicationFn ?VOL 28.316846592))))