Smith, B. (1989) Logic and Formal Ontology. [Book Chapter]