Surface is a type of Layer. Water have Surface. you are likely to find Water in/at/on Container. 
Robot is a type of Machine. Machine is a type of Album. Album is a synonym of Disk. 
Layer <--IsA-- Surface <--HasA-- Water --AtLocation--> Container 
Robot --IsA--> Machine --IsA--> Album <--Synonym--> Disk 