you are likely to find Bill in/at/on Envelope. Menu is a type of Bill. Menu is related to Book. Book is related to Inside. 
Cold is related to Whale. Whale is related to Huge. 
Envelope <--AtLocation-- Bill <--IsA-- Menu <--RelatedTo--> Book <--RelatedTo--> Inside 
Cold <--RelatedTo--> Whale <--RelatedTo--> Huge 