Not logged in : Login
(Sponging disallowed)

About: realizable entity   Goto Sponge  NotDistinct  Permalink

An Entity of Type : owl:Class, 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_0000017

AttributesValues
type
subClassOf
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.
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])
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])
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]
BFO OWL specification label
  • realizable
BFO CLIF specification label
  • RealizableEntity
label
  • realizable entity
isDefinedBy
disjointWith
described by
is subClassOf of
is annotatedSource of
is http://purl.obolib...rg/obo/RO_0040042 of
is domain of
is range of
is someValuesFrom of
is topic of
Faceted Search & Find service v1.17_git34 as of Jul 24 2019


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.3315 as of Sep 13 2019, 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-2019 OpenLink Software