GraphicalComputerMenu |
appearance as argument number 1 |
![]() |
appearance as argument number 2 |
![]() |
(partTypes GraphicalMenuItem GraphicalComputerMenu) | ComputerInput.kif 1149-1149 | 每个 GraphicalMenuItem 是 GraphicalComputerMenu 的 part |
(subclass ComboListTextBox GraphicalComputerMenu) | ComputerInput.kif 907-907 | ComboListTextBox 是 GraphicalComputerMenu 的 subclass |
(subclass DropDownList GraphicalComputerMenu) | ComputerInput.kif 901-901 | DropDownList 是 GraphicalComputerMenu 的 subclass |
(subclass GraphicalSubMenu GraphicalComputerMenu) | ComputerInput.kif 913-913 | GraphicalSubMenu 是 GraphicalComputerMenu 的 subclass |
(subclass ListBox GraphicalComputerMenu) | ComputerInput.kif 897-897 | ListBox 是 GraphicalComputerMenu 的 subclass |
(termFormat EnglishLanguage GraphicalComputerMenu "graphical computer menu") | domainEnglishFormat.kif 64975-64975 | ListBox 是 GraphicalComputerMenu 的 subclass |
consequent |
![]() |
(=> (instance ?SUB GraphicalSubMenu) (exists (?MENU) (and (instance ?MENU GraphicalComputerMenu) (accessibleFromMenu ?SUB ?MENU)))) |
ComputerInput.kif 918-923 |
|
![]() |
![]() |