| appearance as argument number 1 |
|
| s__documentation(s__accessibleFromMenu__m,s__EnglishLanguage,'The property ComputerMenuItem relates a file, computer process, or submenu to a ComputerMenuItem from which the object can be accessed.')
|
ComputerInput.kif 925-925 | |
| s__documentation(s__accessibleFromMenu__m,s__EnglishLanguage,'The property accessibleFromMenu relates a file, computer process, or submenu to a ComputerMenu from which the object can be accessed.')
|
ComputerInput.kif 726-726 | |
| s__domain(s__accessibleFromMenu__m,1,s__Entity)
|
ComputerInput.kif 724-724 | The number 1 argument of accessibleFromMenu is an instance of entity |
| s__domain(s__accessibleFromMenu__m,2,s__ComputerMenu)
|
ComputerInput.kif 725-725 | The number 2 argument of accessibleFromMenu is an instance of ComputerMenu |
| s__instance(s__BinaryPredicate,s__SetOrClass)
|
ComputerInput.kif 723-723 | accessibleFromMenu is an instance of binary predicate |
| appearance as argument number 2 |
|
|
| s__format(s__EnglishLanguage,s__accessibleFromMenu__m,'%1 is accessible from %2')
|
domainEnglishFormat.kif 674-674 |
| consequent |
|
|
| ( ! [V__SUB] : (s__instance(V__SUB,s__GraphicalSubMenu) => (? [V__MENU] : (s__instance(V__MENU,s__GraphicalComputerMenu) & s__accessibleFromMenu(V__SUB,V__MENU)))) )
|
ComputerInput.kif 773-778 |
|
|
Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)
|
|
Sigma web home Suggested Upper Merged Ontology (SUMO) web home
Sigma version 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners