Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| EnergyStar4Rating(EnergyStar 4) |
| appearance as argument number 1 |
|
| (instance EnergyStar4Rating EnergyStarAttribute) | HouseholdAppliances.kif 1309-1309 | EnergyStar 4 is an instance of EnergyStar |
| (documentation EnergyStar4Rating EnglishLanguage "Appliance having EnergyStar4Rating meets the 4th version of EnergyStar standards.") | HouseholdAppliances.kif 1310-1310 | EnergyStar 4 is an instance of EnergyStar |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage EnergyStar4Rating "EnergyStar 4") | HouseholdAppliances.kif 1311-1311 |
| antecedent |
|
|
| (=> (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) (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 |
|