| BathingDevice(bathing device)
| | footbath |
| appearance as argument number 1 |
|
|
| (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 10093-10095 | |
| (externalImage BathingDevice "http://upload.wikimedia.org/wikipedia/commons/ 2/ 23/ Clawfoot_bathtub.jpg") | pictureList.kif 36-36 | |
| (subclass BathingDevice WashingDevice) | Mid-level-ontology.kif 10092-10092 | Bathing device is a subclass of washing device |
| appearance as argument number 2 |
|
|
| (subclass BathTub BathingDevice) | Mid-level-ontology.kif 2510-2510 | Tub is a subclass of bathing device |
| (subclass Shower BathingDevice) | Mid-level-ontology.kif 2486-2486 | Shower is a subclass of bathing device |
| (termFormat ChineseLanguage BathingDevice "洗澡装置") | domainEnglishFormat.kif 10183-10183 | Shower is a subclass of bathing device |
| (termFormat ChineseTraditionalLanguage BathingDevice "洗澡裝置") | domainEnglishFormat.kif 10182-10182 | Shower is a subclass of bathing device |
| (termFormat EnglishLanguage BathingDevice "bathing device") | domainEnglishFormat.kif 10181-10181 | Shower is a subclass of bathing device |
| 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 10097-10105 |
|
|
|
|