| (subclass Software Procedure) | ComputerInput.kif 808-808 | Software は 手順 の subclass では %n |
| (subclass PageModuleServer Software) | UXExperimentalTerms.kif 2000-2000 | PageModuleServer は Software の subclass では %n |
| (subclass ComputerProgram Software) | ComputerInput.kif 813-813 | コンピュータープログラム は Software の subclass では %n |
| (subclass SoftwarePackage Software) | ComputerInput.kif 815-815 | SoftwarePackage は Software の subclass では %n |
| (subclass UserInterface Software) | ComputerInput.kif 833-833 | UserInterface は Software の subclass では %n |
|
|