Smith, B. Logic and Formal Ontology. Manuscrito - Rev. Int. Fil. 2016, 23, 275-324.