Formal examination is to examine the materials submitted in the application for trademark registration to see if there are any defects or errors, while substantive examination is to establish different sub-cards for each element of the trademark applied for registration, and to examine whether there are the same or similar situations for the trademarks that have been applied for or registered before by comparing the same or similar goods.