| (subclass ComputerMenu UIElement) | ComputerInput.kif 846-846 | ComputerMenu は UIElement の subclass では %n |
| (subclass TextualComputerMenu ComputerMenu) | ComputerInput.kif 857-857 | TextualComputerMenu は ComputerMenu の subclass では %n |
| (subclass GraphicalComputerMenu ComputerMenu) | ComputerInput.kif 885-885 | GraphicalComputerMenu は ComputerMenu の subclass では %n |
|
|