TreeView Knowledge Base Browser - accessibleFromMenu

appearance as argument number 1

(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 1140-1141
(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 854-855
(domain accessibleFromMenu 1 Entity)	ComputerInput.kif 852-852	Die Zahl 1 Argument von accessibleFromMenu ist ein fall von Entity %n{nicht}
(domain accessibleFromMenu 2 ComputerMenu)	ComputerInput.kif 853-853	Die Zahl 2 Argument von accessibleFromMenu ist ein fall von ComputerMenu %n{nicht}
(instance accessibleFromMenu BinaryPredicate)	ComputerInput.kif 851-851	accessibleFromMenu ist ein fall von BinaryPredicate %n{nicht}

appearance as argument number 2

(format ChineseLanguage accessibleFromMenu "%1 %n 是从 %2 accessible ")	domainEnglishFormat.kif 2654-2654
(format ChineseTraditionalLanguage accessibleFromMenu "%1 %n 是從 %2 accessible ")	domainEnglishFormat.kif 2653-2653
(format EnglishLanguage accessibleFromMenu "%1 is accessible from %2")	domainEnglishFormat.kif 2652-2652
(termFormat EnglishLanguage accessibleFromMenu "accessible from menu")	domainEnglishFormat.kif 65814-65814

consequent

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

ComputerInput.kif 918-923