Flight is a type of Formation. Formation is a synonym of Consist. Consist is a type of Match. Match is a type of Counterpart. 
Machine can be used for Seal. you are likely to find Machine in/at/on Laboratory. you are likely to find Monkey in/at/on Laboratory. 
Flight --IsA--> Formation <--Synonym--> Consist --IsA--> Match --IsA--> Counterpart 
Seal <--UsedFor-- Machine --AtLocation--> Laboratory <--AtLocation-- Monkey 