Envelope cannot be Alive. Alive is related to Animal. Animal is related to Organism. 
Bind is a type of Cover. Carpet is a type of Cover. you are likely to find Carpet in/at/on Restaurant. you are likely to find Reception in/at/on Restaurant. 
Envelope --NotHasProperty--> Alive <--RelatedTo--> Animal <--RelatedTo--> Organism 
Bind --IsA--> Cover <--IsA-- Carpet --AtLocation--> Restaurant <--AtLocation-- Reception 