Bolt is a type of Lock. Key can be used for Lock. Key is a type of Explanation. 
you are likely to find Bike in/at/on Street. 
Bolt --IsA--> Lock <--UsedFor-- Key --IsA--> Explanation 
Street <--AtLocation-- Bike 