About: realizable entity   Goto Sponge  NotDistinct  Permalink

An Entity of Type : owl:Class, within Data Space : wasabi.inria.fr associated with source document(s)

AttributesValues
type
label
  • realizable entity
  • realizable
  • bfo:realizable entity
isDefinedBy
disjointWith
subClassOf
topic
described by
has associated axiom(nl)
  • All realizable dependent continuants have independent continuants that are not spatial regions as their bearers. (axiom label in BFO2 Reference: [060-002])
example of usage
  • the role of this boundary to delineate where Utah and Colorado meet
  • the disposition of this piece of metal to conduct electricity.
  • the disposition of your blood to coagulate
  • the function of your reproductive organs
  • the role of being a doctor
definition
  • A specifically dependent continuant that inheres in continuant entities and are not exhibited in full at every time in which it inheres in an entity or group of entities. The exhibition or actualization of a realizable entity is a particular manifestation, functioning or process that occurs under certain circumstances.
imported from
has associated axiom(fol)
  • (forall (x t) (if (RealizableEntity x) (exists (y) (and (IndependentContinuant y) (not (SpatialRegion y)) (bearerOfAt y x t))))) // axiom label in BFO2 CLIF: [060-002]
  • (forall (x) (if (RealizableEntity x) (and (SpecificallyDependentContinuant x) (exists (y) (and (IndependentContinuant y) (not (SpatialRegion y)) (inheresIn x y)))))) // axiom label in BFO2 CLIF: [058-002]
elucidation
  • To say that b is a realizable entity is to say that b is a specifically dependent continuant that inheres in some independent continuant which is not a spatial region and is of a type instances of which are realized in processes of a correlated type. (axiom label in BFO2 Reference: [058-002])
http://data.bioont...etadata/prefixIRI
  • BFO:0000017
BFO OWL specification label
  • realizable
BFO CLIF specification label
  • RealizableEntity
is domain of
is range of
Faceted Search & Find service v1.13.91 as of Mar 24 2020


Alternative Linked Data Documents: Sponger | ODE     Content Formats:       RDF       ODATA       Microdata      About   
This material is Open Knowledge   W3C Semantic Web Technology [RDF Data]
OpenLink Virtuoso version 07.20.3229 as of Jul 10 2020, on Linux (x86_64-pc-linux-gnu), Single-Server Edition (94 GB total memory)
Data on this page belongs to its respective rights holders.
Virtuoso Faceted Browser Copyright © 2009-2024 OpenLink Software