clothesWasherModifiedEnergyFactor - Sigma Knowledge base Browser

appearance as argument number 1

(instance clothesWasherModifiedEnergyFactor BinaryPredicate)	HouseholdAppliances.kif 1599-1599	clothes washer modified energy factor is an instance of binary predicate
(instance clothesWasherModifiedEnergyFactor SingleValuedRelation)	HouseholdAppliances.kif 1600-1600	clothes washer modified energy factor is an instance of single valued relation
(instance clothesWasherModifiedEnergyFactor PartialValuedRelation)	HouseholdAppliances.kif 1601-1601	clothes washer modified energy factor is an instance of partial valued relation
(documentation clothesWasherModifiedEnergyFactor EnglishLanguage "(MEF) Capacity of clothes divided by sum of mechanical energy per cycle and water heating energy per cycle and drying energy. The higher the more efficient.")	HouseholdAppliances.kif 1604-1604	clothes washer modified energy factor is an instance of partial valued relation
(domainSubclass clothesWasherModifiedEnergyFactor 1 LaundryAppliance)	HouseholdAppliances.kif 1606-1606	The number 1 argument of clothes washer modified energy factor is a subclass of dishwasher
(domain clothesWasherModifiedEnergyFactor 2 PositiveRealNumber)	HouseholdAppliances.kif 1607-1607	The number 2 argument of clothes washer modified energy factor is an instance of positive real number

appearance as argument number 2

(termFormat EnglishLanguage clothesWasherModifiedEnergyFactor "clothes washer modified energy factor")	HouseholdAppliances.kif 1602-1602
(abbreviation "MEF" clothesWasherModifiedEnergyFactor)	HouseholdAppliances.kif 1603-1603	"MEF" is an abbreviation of clothes washer modified energy factor

consequent

(=>
    (and
        (instance ?X ClothesWashingMachine)
        (attribute ?X EnergyStar5Rating))
    (and
        (instance ?X ?CLASS)
        (clothesWasherModifiedEnergyFactor ?CLASS ?VALUE)
        (greaterThanOrEqualTo ?VALUE 2.0)))