(subclass ComputerBackingUp DataTransfer) | ComputingBrands.kif 3489-3489 | ComputerBackingUp は DataTransfer の subclass では %n |
(subclass ComputerBackingUp Copying) | ComputingBrands.kif 3490-3490 | ComputerBackingUp は Copying の subclass では %n |
(subclass ComputerBackingUp ComputerProcess) | ComputingBrands.kif 3491-3491 | ComputerBackingUp は ComputerProcess の subclass では %n |