realizable entity entidade realizável role papel http://www.exemplo.com/ontologia/2.0/bfo-pt.owl BFO 2 Reference: One major family of examples of non-rigid universals involves roles, and ontologies developed for corresponding administrative purposes may consist entirely of representatives of entities of this sort. Thus ‘professor’, defined as follows,b instance_of professor at t =Def. there is some c, c instance_of professor role & c inheres_in b at t.denotes a non-rigid universal and so also do ‘nurse’, ‘student’, ‘colonel’, ‘taxpayer’, and so forth. (These terms are all, in the jargon of philosophy, phase sortals.) By using role terms in definitions, we can create a BFO conformant treatment of such entities drawing on the fact that, while an instance of professor may be simultaneously an instance of trade union member, no instance of the type professor role is also (at any time) an instance of the type trade union member role (any more than any instance of the type color is at any time an instance of the type length).If an ontology of employment positions should be defined in terms of roles following the above pattern, this enables the ontology to do justice to the fact that individuals instantiate the corresponding universals – professor, sergeant, nurse – only during certain phases in their lives. John’s role of husband to Mary is dependent on Mary’s role of wife to John, and both are dependent on the object aggregate comprising John and Mary as member parts joined together through the relational quality of being married. the priest role the role of a boundary to demarcate two neighboring administrative territories the role of a building in serving as a military target the role of a stone in marking a property boundary the role of subject in a clinical trial the student role O papel de João de ser marido de Maria é dependente do papel de Maria esposa de João, e ambos são dependentes do objeto agregado que compreende João e Maria como partes que estão unidas através da qualidade relacional de ser casado. O papel de padre O papel do estudante Referência da BFO 2: Uma importante família de exemplos de universais não-rígidos envolve os papéis; ontologias desenvolvidas para fins administrativos podem ser construídas inteiramente com representantes de entidades desse tipo. Assim, o papel "professor" definido como segue denota um universal não-rígido, assim como 'enfermeira', 'estudante', 'coronel', 'contribuinte', e assim por diante (esses termos são todos, no jargão da Filosofia, sortais de fase): “b” é instância_de professor em t = Def. existe algum “c”, tal que “c” é instância_de papel de professor & “c” é_inerente_a “b“ em t. Ao usar termos de papéis nas definições pode-se criar um tratamento de tais entidades que é conforme a BFO pelo fato de que, enquanto uma instância de professor pode simultaneamente ser uma instância de membro do sindicato, nenhuma instância do tipo papel de professor pode ser também (em algum momento) uma instância do tipo papel de membro do sindicato (não mais que qualquer instância do tipo cor pode ser a qualquer momento uma instância do tipo comprimento). Se uma ontologia de cargos de trabalho é definida em termos de papéis de acordo com o padrão acima, a ontologia representa adequadamente o fato de que os indivíduos instanciam os universais correspondentes – professor, sargento, enfermeira – apenas durante certas fases de suas vidas. o papel de um edifício para servir como um alvo militar o papel de um limite para demarcar dois territórios administrativos vizinhos o papel de uma pedra na demarcação de um limite de propriedade o papel do sujeito de um teste clínico “b“ é um papel significa: “b“ é uma entidade realizável & “b“ existe porque há um único portador em algum conjunto especial de circunstâncias físicas, sociais ou institucionais em que esse portador não tem que estar & “b“ não é tal que, se ele deixa de existir, a composição física do portador é alterada daí em diante. (Rótulo axioma em Referência da BFO2 : [061-001])