  In our previous paper (Axiomatic Differential Geometry II-3) we have
discussed the general Jacobi identity, from which the Jacobi identity of vector
fields follows readily. In this paper we derive Jacobi-like identities of
tangent-vector-valued forms from the general Jacobi identity.
