Documentation scienceplus.abes.fr version Bêta

À propos de : realizes        

AttributsValeurs
type
rdfs:label
  • realizes
rdfs:domain
rdfs:range
rdfs:isDefinedBy
http://purl.obolib...g/obo/BFO_0000179
  • realizes
http://purl.obolib...g/obo/BFO_0000180
  • realizes
http://purl.obolib...g/obo/IAO_0000600
  • 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_0000602
  • (forall (x y t) (if (realizesAt x y t) (and (Process x) (or (Disposition y) (Role y)) (exists (z) (and (MaterialEntity z) (hasParticipantAt x z t) (bearerOfAt z y t)))))) // axiom label in BFO2 CLIF: [059-003]
is inverseOf of



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