accessibleFromMenu - Sigma Knowledge base Browser

appearance as argument number 1

(instance accessibleFromMenu BinaryPredicate)	ComputerInput.kif 867-867	accessible from menu is an instance of binary predicate
(domain accessibleFromMenu 1 Entity)	ComputerInput.kif 868-868	The number 1 argument of accessible from menu is an instance of entity
(domain accessibleFromMenu 2 ComputerMenu)	ComputerInput.kif 869-869	The number 2 argument of accessible from menu is an instance of computer menu
(documentation accessibleFromMenu EnglishLanguage "The property accessibleFromMenu relates a file, computer process, or submenu to a ComputerMenu from which the object can be accessed.")	ComputerInput.kif 870-871	The number 2 argument of accessible from menu is an instance of computer menu
(documentation accessibleFromMenu EnglishLanguage "The property ComputerMenuItem relates a file, computer process, or submenu to a ComputerMenuItem from which the object can be accessed.")	ComputerInput.kif 1156-1157	The number 2 argument of accessible from menu is an instance of computer menu

appearance as argument number 2

(format EnglishLanguage accessibleFromMenu "%1 is accessible from %2")	domainEnglishFormat.kif 2656-2656
(format ChineseTraditionalLanguage accessibleFromMenu "%1 %n 是從 %2 accessible ")	domainEnglishFormat.kif 2657-2657
(format ChineseLanguage accessibleFromMenu "%1 %n 是从 %2 accessible ")	domainEnglishFormat.kif 2658-2658
(termFormat EnglishLanguage accessibleFromMenu "accessible from menu")	domainEnglishFormat.kif 65769-65769

consequent

(=>
    (instance ?SUB GraphicalSubMenu)
    (exists (?MENU)
        (and
            (instance ?MENU GraphicalComputerMenu)
            (accessibleFromMenu ?SUB ?MENU))))