BathingDevice
|
|
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 8868-8870 | |
(externalImage BathingDevice "http://upload.wikimedia.org/wikipedia/commons/ 2/ 23/ Clawfoot_bathtub.jpg") | pictureList.kif 36-36 | |
(subclass BathingDevice WashingDevice) | Mid-level-ontology.kif 8867-8867 |
appearance as argument number 2 |
(subclass BathTub BathingDevice) | Mid-level-ontology.kif 2048-2048 | |
(subclass Shower BathingDevice) | Mid-level-ontology.kif 2024-2024 | |
(termFormat ChineseLanguage BathingDevice "洗澡装置") | domainEnglishFormat.kif 10176-10176 | |
(termFormat ChineseTraditionalLanguage BathingDevice "洗澡裝置") | domainEnglishFormat.kif 10175-10175 | |
(termFormat EnglishLanguage BathingDevice "bathing device") | domainEnglishFormat.kif 10174-10174 |
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 8872-8880 |