Axiomatic Formal Ontology is a fairly comprehensive systematic treatise on general metaphysics. TheProducator: SPRINGER PG