Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
 |
   BathBodyCareAppliance
|
|
|
| appearance as argument number 1 |
|
|
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage BathBodyCareAppliance "bath body care appliance") | HouseholdAppliances.kif 110-110 | |
| (subclass FootSpa BathBodyCareAppliance) | HouseholdAppliances.kif 127-127 | Foot spa is a subclass of bath body care appliance |
| antecedent |
|
|
| (=> (instance ?DEVICE BathBodyCareAppliance) (hasPurpose ?DEVICE (exists (?PROC ?WATER) (and (instance ?PROC Process) (instance ?WATER Water) (instrument ?PROC ?DEVICE) (resource ?PROC ?WATER))))) |
HouseholdAppliances.kif 113-121 | If X is an instance of bath body care appliance, then X has the purpose there exist Y, Z such that Y is an instance of process, Z is an instance of water, X is an instrument for Y, and Z is a resource for Y |
|