Bar is a type of Implement. you are likely to find Bar in/at/on Club. Club is related to Association. Cooperative is a type of Association. 
Copy is related to Computer. Computer is related to Work. you would Work because Useful. 
Implement <--IsA-- Bar --AtLocation--> Club <--RelatedTo--> Association <--IsA-- Cooperative 
Copy <--RelatedTo--> Computer <--RelatedTo--> Work --MotivatedByGoal--> Useful 