accessibleFromMenuItem - Sigma Knowledge base Browser

appearance as argument number 1

(domain accessibleFromMenuItem 1 Entity)	ComputerInput.kif 1138-1138	The number 1 argument of accessible from menu item is an instance of entity
(domain accessibleFromMenuItem 2 ComputerMenuItem)	ComputerInput.kif 1139-1139	The number 2 argument of accessible from menu item is an instance of computer menu item
(instance accessibleFromMenuItem BinaryPredicate)	ComputerInput.kif 1137-1137	accessible from menu item is an instance of binary predicate

appearance as argument number 2

(format ChineseLanguage accessibleFromMenuItem "%1 %n 是从 %2 accessible ")	domainEnglishFormat.kif 2662-2662
(format ChineseTraditionalLanguage accessibleFromMenuItem "%1 %n 是從 %2 accessible ")	domainEnglishFormat.kif 2661-2661
(format EnglishLanguage accessibleFromMenuItem "%1 is accessible from %2")	domainEnglishFormat.kif 2660-2660
(termFormat EnglishLanguage accessibleFromMenuItem "accessible from menu item")	domainEnglishFormat.kif 65790-65790

consequent

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

ComputerInput.kif 1153-1158