(subclass SoftwareInstallation ITProcess) | engineering.kif 1324-1324 | SoftwareInstallation は ITProcess の subclass では %n |
(subclass SoftwareInstallation DataTransfer) | ComputingBrands.kif 3591-3591 | SoftwareInstallation は DataTransfer の subclass では %n |
(subclass SoftwareUpgrading SoftwareInstallation) | ComputingBrands.kif 3814-3814 | ソフトウェアの更新 は SoftwareInstallation の subclass では %n |