accessibleFromMenuItem - Sigma Knowledge base Browser

appearance as argument number 1

(domain accessibleFromMenuItem 1 Entity)	ComputerInput.kif 1138-1138
(domain accessibleFromMenuItem 2 ComputerMenuItem)	ComputerInput.kif 1139-1139
(instance accessibleFromMenuItem BinaryPredicate)	ComputerInput.kif 1137-1137

appearance as argument number 2

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

consequent

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

ComputerInput.kif 1153-1158