(=>
(and
(attribute ?X Compact)
(freshFoodCompartmentVolume ?X
(MeasureFn ?VOLUME Liter))
(instance ?X Refrigerator)
(not
(instance ?X Freezer)))
(lessThanOrEqualTo ?VOLUME 219.45)) |
HouseholdAppliances.kif 1396-1404 |
If compact is an attribute of X, fresh food compartment volume X and Y liter(s), X is an instance of refrigerator, and X is not an instance of freezer, then Y is less than or equal to 219.45 |
(=>
(and
(attribute ?X Compact)
(frozenFoodCompartmentVolume ?X
(MeasureFn ?VOLUME Liter))
(instance ?X Freezer)
(not
(instance ?X Refrigerator)))
(lessThanOrEqualTo ?VOLUME 219.45)) |
HouseholdAppliances.kif 1408-1416 |
If compact is an attribute of X, frozen food compartment volume X and Y liter(s), X is an instance of freezer, and X is not an instance of refrigerator, then Y is less than or equal to 219.45 |
(=>
(and
(attribute ?X Compact)
(freshFoodCompartmentVolume ?X
(MeasureFn ?VOLUME1 Liter))
(frozenFoodCompartmentVolume ?X
(MeasureFn ?VOLUME2 Liter))
(equal ?TOTAL
(AdditionFn ?VOLUME1 ?VOLUME2))
(instance ?X FridgeFreezer))
(lessThanOrEqualTo ?TOTAL 219.45)) |
HouseholdAppliances.kif 1422-1432 |
If compact is an attribute of X, fresh food compartment volume X and Y liter(s), frozen food compartment volume X and Z liter(s), equal W and (Y and Z), and X is an instance of fridge freezer, then W is less than or equal to 219.45 |
(=>
(and
(attribute ?X Compact)
(height ?X
(MeasureFn ?VALUE Inch))
(or
(instance ?X Refrigerator)
(instance ?X Freezer)))
(lessThanOrEqualTo ?VALUE 36)) |
HouseholdAppliances.kif 1435-1443 |
If compact is an attribute of X, the height of X is Y inch(s), and X is an instance of refrigerator or X is an instance of freezer, then Y is less than or equal to 36 |
(=>
(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 |
Compact