Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| Humidifier(humidifier) |
| appearance as argument number 1 |
|
| (subclass Humidifier HouseUtilityAppliance) | HouseholdAppliances.kif 980-980 | Humidifier is a subclass of house utility appliance |
| (subclass Humidifier ElectricDevice) | HouseholdAppliances.kif 981-981 | Humidifier is a subclass of electric device |
| (documentation Humidifier EnglishLanguage "A Device with purpose of increasing the amount of water vapour in the air.") | HouseholdAppliances.kif 982-982 | Humidifier is a subclass of electric device |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage Humidifier "humidifier") | HouseholdAppliances.kif 983-983 |
| antecedent |
|
|
| (=> (instance ?DEVICE Humidifier) (hasPurpose ?DEVICE (exists (?WATER ?EVAP) (and (instance ?WATER FreshWater) (instance ?EVAP Evaporating) (patient ?EVAP ?WATER))))) |
HouseholdAppliances.kif 985-992 | If X is an instance of humidifier, then X has the purpose there exist Y, Z such that Y is an instance of freshwater, Z is an instance of evaporating, and Y is a patient of Z |
|