Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
BathingDevice(bathing device)
|  | footbath |
| appearance as argument number 1 |
|
|
| (subclass BathingDevice WashingDevice) | Mid-level-ontology.kif 10235-10235 | Bathing device is a subclass of washing device |
| (documentation BathingDevice EnglishLanguage "A WashingDevice which is intended to be used by Humans for washing their bodies. Note that this class covers bathtubs, showers, etc.") | Mid-level-ontology.kif 10236-10238 | Bathing device is a subclass of washing device |
| (externalImage BathingDevice "http://upload.wikimedia.org/wikipedia/commons/ 2/ 23/ Clawfoot_bathtub.jpg") | pictureList.kif 36-36 | Bathing device is a subclass of washing device |
| appearance as argument number 2 |
|
|
| antecedent |
|
|
| (=> (instance ?BD BathingDevice) (hasPurpose ?BD (exists (?B ?P) (and (instance ?B Bathing) (instrument ?B ?BD) (patient ?B ?P) (instance ?P Human))))) |
Mid-level-ontology.kif 10240-10248 | If X is an instance of bathing device, then X has the purpose there exist Y, Z such that Y is an instance of bathing, X is an instrument for Y, Z is a patient of Y, and Z is an instance of human |
|