Formal ontology (Kluwer Acad. Publ., 1996)