Documentation scienceplus.abes.fr version Bêta

À propos de : realized in        

AttributsValeurs
type
inverseOf
rdfs:label
  • realized in
rdfs:domain
rdfs:range
rdfs:isDefinedBy
http://purl.obolib...g/obo/BFO_0000179
  • realized-in
http://purl.obolib...g/obo/BFO_0000180
  • realizedIn
http://purl.obolib...g/obo/IAO_0000600
  • [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])
http://purl.obolib...g/obo/IAO_0000601
  • 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])
http://purl.obolib...g/obo/IAO_0000602
  • (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]



Alternative Linked Data Documents: ODE     Content Formats:       RDF       ODATA       Microdata