waterConsumptionPerWashingCycle - Sigma Knowledge base Browser

appearance as argument number 1

(instance waterConsumptionPerWashingCycle BinaryPredicate)	HouseholdAppliances.kif 1493-1493	water use per one clothes washing cycle is an instance of binary predicate
(instance waterConsumptionPerWashingCycle SingleValuedRelation)	HouseholdAppliances.kif 1494-1494	water use per one clothes washing cycle is an instance of single valued relation
(instance waterConsumptionPerWashingCycle PartialValuedRelation)	HouseholdAppliances.kif 1495-1495	water use per one clothes washing cycle is an instance of partial valued relation
(documentation waterConsumptionPerWashingCycle EnglishLanguage "Estimated ammount of water used by a ClothesWashingMachine in one washing cycle.")	HouseholdAppliances.kif 1496-1496	water use per one clothes washing cycle is an instance of partial valued relation
(domainSubclass waterConsumptionPerWashingCycle 1 ClothesWashingMachine)	HouseholdAppliances.kif 1499-1499	The number 1 argument of water use per one clothes washing cycle is a subclass of clothes washing machine
(domain waterConsumptionPerWashingCycle 2 VolumeMeasure)	HouseholdAppliances.kif 1500-1500	The number 2 argument of water use per one clothes washing cycle 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))))