"Framework for Formal Ontology" - читать интересную книгу автора (Smith Barry)