A branch of metaphysics that studies the nature of existence, including the relationships between different types of things.