Check is a type of Draft. Check is a type of Examine. Examine is a synonym of Look. Glance is a type of Look. 
Dream is related to Wave. 
Draft <--IsA-- Check --IsA--> Examine <--Synonym--> Look <--IsA-- Glance 
Dream <--RelatedTo--> Wave 