Return to Article Details Notes on models of first-order mereological theories Download Download PDF