Top is a type of Region. 
you are likely to find Acid in/at/on Stomach. Acid is a different concept from Base. Base is part of Lamp. 
Top --IsA--> Region 
Stomach <--AtLocation-- Acid <--DistinctFrom--> Base --PartOf--> Lamp 