(=>
(and
(instance ?X Dishwasher)
(attribute ?X Compact)
(attribute ?X EnergyStar4Rating)
(annualEnergyConsumption ?X
(MeasureFn ?ENERGY KilowattHour)))
(lessThanOrEqualTo ?ENERGY 234)) |
HouseholdAppliances.kif 1685-1692 |
If X is an instance of dishwasher, compact is an attribute of X, EnergyStar 4 is an attribute of X, and annual energy consumption X and Y kilowatt hour(s), then Y is less than or equal to 234 |
(=>
(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 EnergyStar4Rating)
(annualEnergyConsumption ?X
(MeasureFn ?ENERGY KilowattHour)))
(lessThanOrEqualTo ?ENERGY 324)) |
HouseholdAppliances.kif 1707-1715 |
If X is an instance of dishwasher, compact is not an attribute of X, EnergyStar 4 is an attribute of X, and annual energy consumption X and Y kilowatt hour(s), then Y is less than or equal to 324 |
(=>
(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 |
