... as follows. 1) Knowledge engineers input a mechanism prototype into MPKB with the design catalogue structure shown in Sec. 3 ; 2) For each matrix function in MFM, its transformations of motional type, orientation and direction are verified one by one to see if they are consistent...