clothesWasherWaterFactor - Sigma Knowledge base Browser

appearance as argument number 1

(instance clothesWasherWaterFactor BinaryPredicate)	HouseholdAppliances.kif 1506-1506	clothes washer water factor is an instance of binary predicate
(instance clothesWasherWaterFactor SingleValuedRelation)	HouseholdAppliances.kif 1507-1507	clothes washer water factor is an instance of single valued relation
(instance clothesWasherWaterFactor PartialValuedRelation)	HouseholdAppliances.kif 1508-1508	clothes washer water factor is an instance of partial valued relation
(documentation clothesWasherWaterFactor EnglishLanguage "Ratio of water required per cycle (in UnitedStatesGallon) to total useful volume of the ClothesWashingMachine (in cubic ft3)")	HouseholdAppliances.kif 1510-1510	clothes washer water factor is an instance of partial valued relation
(domainSubclass clothesWasherWaterFactor 1 ClothesWashingMachine)	HouseholdAppliances.kif 1512-1512	The number 1 argument of clothes washer water factor is a subclass of clothes washing machine
(domain clothesWasherWaterFactor 2 PositiveRealNumber)	HouseholdAppliances.kif 1513-1513	The number 2 argument of clothes washer water factor is an instance of positive real number

appearance as argument number 2

consequent

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