accessibleFromMenuItem - Sigma Knowledge base Browser

appearance as argument number 1

(domain accessibleFromMenuItem 1 Entity)	ComputerInput.kif 1138-1138	O argumento numero 1 de accessibleFromMenuItem e' uma instancia de Entidade
(domain accessibleFromMenuItem 2 ComputerMenuItem)	ComputerInput.kif 1139-1139	O argumento numero 2 de accessibleFromMenuItem e' uma instancia de ComputerMenuItem
(instance accessibleFromMenuItem BinaryPredicate)	ComputerInput.kif 1137-1137	accessibleFromMenuItem e' uma instancia de Predicado Binario

appearance as argument number 2

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

consequent

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

ComputerInput.kif 1153-1158