(=>
(and
(instance ?X ClothesWashingMachine)
(attribute ?X EnergyStar5Rating))
(and
(instance ?X ?CLASS)
(clothesWasherModifiedEnergyFactor ?CLASS ?VALUE)
(greaterThanOrEqualTo ?VALUE 2.0))) |
HouseholdAppliances.kif 1610-1617 |
If X is an instance of clothes washing machine and EnergyStar 5 is an attribute of X, then X is an instance of Y, clothes washer modified energy factor Y and Z, and Z is greater than or equal to 2.0 |
(=>
(and
(instance ?X Dishwasher)
(attribute ?X Compact)
(attribute ?X EnergyStar5Rating)
(annualEnergyConsumption ?X
(MeasureFn ?ENERGY KilowattHour)))
(lessThanOrEqualTo ?ENERGY 222)) |
HouseholdAppliances.kif 1696-1703 |
If X is an instance of dishwasher, compact is an attribute of X, EnergyStar 5 is an attribute of X, and annual energy consumption X and Y kilowatt hour(s), then Y is less than or equal to 222 |
(=>
(and
(instance ?X Dishwasher)
(not
(attribute ?X Compact))
(attribute ?X EnergyStar5Rating)
(annualEnergyConsumption ?X
(MeasureFn ?ENERGY KilowattHour)))
(lessThanOrEqualTo ?ENERGY 295)) |
HouseholdAppliances.kif 1719-1727 |
If X is an instance of dishwasher, compact is not an attribute of X, EnergyStar 5 is an attribute of X, and annual energy consumption X and Y kilowatt hour(s), then Y is less than or equal to 295 |
