#nonsingular_matrix__nonsingularmatrix  a square matrix whose determinant is not zero
  exclusion:  #singular_matrix
  supertype:  #square_matrix  a matrix with the same number of rows and columns
     supertype:  #matrix  a rectangular array of elements (or entries) set out by rows and columns
        supertype:  #array  an orderly arrangement: "an array of troops in battle order"
           supertype:  #arrangement  an orderly grouping (of things or persons)
              supertype:  #group__grouping  any number of entities (members) considered as a unit
                 supertype:  pm#collection  something gathering separated things (entities/situations)
                    supertype:  pm#divisible_entity__divisibleentity  many classifications under this category are application-dependant
                       supertype:  pm#entity  something that can be "involved" in a situation
                          supertype:  pm#thing__something___T__t___3D_or_4D_thing_or_anything_else  any category (type or individual) is instance of this type; any type is also a subtype of this type
                       supertype:  pm#divisible_thing__divisiblething
                          supertype:  pm#thing__something___T__t___3D_or_4D_thing_or_anything_else  any category (type or individual) is instance of this type; any type is also a subtype of this type

No statement uses or specializes #nonsingular_matrix; click here to add one.