Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| BodyCareAppliance(body care appliance) |
| appearance as argument number 1 |
|
| (subclass BodyCareAppliance HouseholdAppliance) | HouseholdAppliances.kif 87-87 | Body care appliance is a subclass of household appliance |
| (documentation BodyCareAppliance EnglishLanguage "HouseholdAppliance designed to be used for exercise or personal body care.") | HouseholdAppliances.kif 89-90 | Body care appliance is a subclass of household appliance |
| appearance as argument number 2 |
|
|
| antecedent |
|
|
| (=> (instance ?DEVICE BodyCareAppliance) (hasPurpose ?DEVICE (exists (?PROC ?PATIENT) (and (instance ?PROC Process) (instrument ?PROC ?DEVICE) (patient ?PROC ?PATIENT) (or (instance ?PATIENT Human) (instance ?PATIENT BodyPart)))))) |
HouseholdAppliances.kif 95-105 | If X is an instance of body care appliance, then X has the purpose there exist Y, Z such that Y is an instance of process, X is an instrument for Y, Z is a patient of Y, and Z is an instance of human or Z is an instance of body part |
|