Population and Community Ontology

Last uploaded: May 4, 2021
Loading
ID

http://purl.obolibrary.org/obo/BFO_0000017

Preferred Name

realizable entity

Definitions

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.

Type

http://www.w3.org/2002/07/owl#Class

IAO_0000117

https://orcid.org/0000-0001-8815-0078

isDefinedBy

http://purl.obolibrary.org/obo/bfo.owl

IAO_0000115

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.

IAO_0000602

(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]

IAO_0000112

the role of being a doctor

the function of your reproductive organs

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

disjointWith

http://purl.obolibrary.org/obo/BFO_0000019

IAO_0000601

All realizable dependent continuants have independent continuants that are not spatial regions as their bearers. (axiom label in BFO2 Reference: [060-002])

prefixIRI

BFO:0000017

IAO_0000600

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])

BFO_0000180

RealizableEntity

prefLabel

realizable entity

BFO_0000179

realizable

label

realizable entity

subClassOf

http://purl.obolibrary.org/obo/BFO_0000020

disjointWith

http://purl.obolibrary.org/obo/BFO_0000019

Filter:
Delete Subject Subject Sort Archive Sort Author Type Created
No notes to display
Loading
Loading
Loading
Loading
Loading
Loading
Loading