(=>
(instance ?DEVICE Dishwasher)
(hasPurpose ?DEVICE
(exists (?DISH ?CLEANING)
(and
(instance ?DISH Tableware)
(instance ?CLEANING Washing)
(patient ?CLEANING ?DISH)
(instrument ?CLEANING ?DEVICE))))) |
HouseholdAppliances.kif 624-632 |
If X is an instance of dishwasher, then X has the purpose there exist Y, Z such that Y is an instance of tableware, Z is an instance of washing, Y is a patient of Z, and X is an instrument for Z |
(=>
(and
(instance ?DEVICE Dishwasher)
(attribute ?DEVICE Compact)
(instance ?DEVICE ?CLASS)
(platePlacesCount ?CLASS ?PLATEC)
(servingPiecesCount ?CLASS ?PIECIESC))
(and
(lessThanOrEqualTo ?PLATEC 8)
(lessThanOrEqualTo ?PIECIESC 6))) |
HouseholdAppliances.kif 1655-1664 |
If X is an instance of dishwasher, compact is an attribute of X, X is an instance of Y, plate places count Y and Z, and places for serving pieces count Y and W, then Z is less than or equal to 8 and W is less than or equal to 6 |
(=>
(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 |
