Part is a type of Line. Part is related to Head. Head is the opposite of Tail. 
Formal is etymologically related to Form. Form is related to Tax. 
Line <--IsA-- Part <--RelatedTo--> Head <--Antonym--> Tail 
Formal --EtymologicallyRelatedTo--> Form <--RelatedTo--> Tax 