Axiomatic Formal Ontology is a fairly comprehensive systematic treatise on general metaphysics. Its main theme is the construction of a general non-set-theoretical theory of intensional entities. Other important matters discussed are the metaphysics of modality, the nature of actual existence, mereology and the taxonomy of entities.