accessibleFromMenuItem - Sigma Knowledge base Browser

appearance as argument number 1

(domain accessibleFromMenuItem 1 Entity)	ComputerInput.kif 1136-1136	The number 1 argument of accessibleFromMenuItem is an instance of entity
(domain accessibleFromMenuItem 2 ComputerMenuItem)	ComputerInput.kif 1137-1137	The number 2 argument of accessibleFromMenuItem is an instance of ComputerMenuItem
(instance accessibleFromMenuItem BinaryPredicate)	ComputerInput.kif 1135-1135	accessibleFromMenuItem is an instance of binary predicate

appearance as argument number 2

(format ChineseLanguage accessibleFromMenuItem "%1 %n 是从 %2 accessible ")	domainEnglishFormat.kif 2667-2667
(format ChineseTraditionalLanguage accessibleFromMenuItem "%1 %n 是從 %2 accessible ")	domainEnglishFormat.kif 2666-2666
(format EnglishLanguage accessibleFromMenuItem "%1 is accessible from %2")	domainEnglishFormat.kif 2665-2665

consequent

(=>
    (instance ?SUB GraphicalSubMenu)
    (exists (?MENUITEM)
        (and
            (instance ?MENU GraphicalMenuItem)
            (accessibleFromMenuItem ?SUB ?MENUITEM))))

ComputerInput.kif 1151-1156