Not logged in : Login
(Sponging disallowed)

About: has realization     Goto   Sponge   NotDistinct   Permalink

An Entity of Type : owl:ObjectProperty, within Data Space : linkeddata.uriburner.com associated with source document(s)
QRcode icon
http://linkeddata.uriburner.com/describe/?url=http%3A%2F%2Fpurl.obolibrary.org%2Fobo%2FBFO_0000054

Paraphrase of elucidation: a relation between a realizable entity and a process, where there is some material entity that is bearer of the realizable entity and participates in the process, and the realizable entity comes to be realized in the course of the process

AttributesValues
Type
subPropertyOf
equivalentProperty
inverseOf
editor preferred term
  • realized in
example of usage
  • this investigator role is realized in this investigation
  • this disease is realized in this disease course
  • this fragility is realized in this shattering
alternative term
  • is realized by
  • realized_in
imported from
elucidation
  • [copied from inverse property 'realizes'] to say that b realizes c at t is to assert that there is some material entity d & b is a process which has participant d at t & c is a disposition or role of which d is bearer_of at t& the type instantiated by b is correlated with the type instantiated by c. (axiom label in BFO2 Reference: [059-003])
  • [copied from inverse property 'realizes'] to say that b realizes c at t is to assert that there is some material entity d & b is a process which has participant d at t & c is a disposition or role of which d is bearer_of at t& the type instantiated by b is correlated with the type instantiated by c. (axiom label in BFO2 Reference: [059-003])
has associated axiom(nl)
  • if a realizable entity b is realized in a process p, then p stands in the has_participant relation to the bearer of b. (axiom label in BFO2 Reference: [106-002])
has associated axiom(fol)
  • (forall (x y z t) (if (and (RealizableEntity x) (Process y) (realizesAt y x t) (bearerOfAt z x t)) (hasParticipantAt y z t))) // axiom label in BFO2 CLIF: [106-002]
BFO OWL specification label
  • realized-in
BFO CLIF specification label
  • realizedIn
label
  • realized in
  • has realization
domain
range
isDefinedBy
comment
  • Paraphrase of elucidation: a relation between a realizable entity and a process, where there is some material entity that is bearer of the realizable entity and participates in the process, and the realizable entity comes to be realized in the course of the process
preferred label
  • has realization
described by
Identifier
  • 206-BFO
definition
  • b has realization c =Def c realizes b
example
  • As for realizes
is inverseOf of
is first of
is onProperty of
Faceted Search & Find service v1.17_git51 as of Jun 26 2020


Alternative Linked Data Documents: PivotViewer | ODE     Content Formats:       RDF       ODATA       Microdata      About   
This material is Open Knowledge   W3C Semantic Web Technology [RDF Data] Valid XHTML + RDFa
OpenLink Virtuoso version 08.03.3318 as of Jul 27 2020, on Linux (x86_64-generic-linux-glibc25), Single-Server Edition (378 GB total memory)
Data on this page belongs to its respective rights holders.
Virtuoso Faceted Browser Copyright © 2009-2020 OpenLink Software