(subclass ClothesWashingMachine MajorAppliance) | Mid-level-ontology.kif 2278-2278 | ClothesWashingMachine は MajorAppliance の subclass では %n |
(subclass ClothesWashingMachine WashingDevice) | Mid-level-ontology.kif 25377-25377 | ClothesWashingMachine は WashingDevice の subclass では %n |