House is a type of Building. Building is related to Timber. 
you are likely to find Cup in/at/on Counter. Cup is related to Rim. 
House --IsA--> Building <--RelatedTo--> Timber 
Counter <--AtLocation-- Cup <--RelatedTo--> Rim 