(subclass BathingDevice WashingDevice) | Mid-level-ontology.kif 8868-8868 | BathingDevice は WashingDevice の subclass では %n |
(subclass Shower BathingDevice) | Mid-level-ontology.kif 2024-2024 | Shower は BathingDevice の subclass では %n |
(subclass BathTub BathingDevice) | Mid-level-ontology.kif 2048-2048 | BathTub は BathingDevice の subclass では %n |