Basic Formal Ontology

Last uploaded: August 27, 2019
Preferred Name

realizable entity

ID

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

BFO CLIF specification label

RealizableEntity

BFO OWL specification label

realizable

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

example of usage

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

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]

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

isDefinedBy

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

label

realizable entity

prefixIRI

BFO:0000017

prefLabel

realizable entity

disjointWith

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

subClassOf

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

Delete Subject Author Type Created
No notes to display
Create New Mapping Create New External Mapping

Internal mappings

Delete Mapping To Ontology Source Relations
http://semanticscience.org/resource/SIO_000340 Semanticscience Integrated Ontology LOOM
http://semanticscience.org/resource/SIO_000340 Semanticscience Integrated Ontology LOOM
http://purl.obolibrary.org/obo/BFO_0000017 Plant Trait Ontology LOOM
http://purl.obolibrary.org/obo/BFO_0000017 Plant Trait Ontology SAME_URI
http://purl.obolibrary.org/obo/BFO_0000017 Agronomy Ontology LOOM
http://purl.obolibrary.org/obo/BFO_0000017 Agronomy Ontology SAME_URI
http://purl.obolibrary.org/obo/BFO_0000017 Plant Trait Ontology LOOM
http://purl.obolibrary.org/obo/BFO_0000017 Plant Trait Ontology SAME_URI
http://purl.obolibrary.org/obo/BFO_0000017 Relations Ontology LOOM
http://purl.obolibrary.org/obo/BFO_0000017 Relations Ontology SAME_URI
http://purl.obolibrary.org/obo/BFO_0000017 Population and Community Ontology LOOM
http://purl.obolibrary.org/obo/BFO_0000017 Population and Community Ontology SAME_URI
http://purl.obolibrary.org/obo/BFO_0000017 Biological Collections Ontology LOOM
http://purl.obolibrary.org/obo/BFO_0000017 Biological Collections Ontology SAME_URI
http://purl.obolibrary.org/obo/BFO_0000017 FoodOn LOOM
http://purl.obolibrary.org/obo/BFO_0000017 FoodOn SAME_URI
http://purl.obolibrary.org/obo/BFO_0000017 Process and Observation Ontology LOOM
http://purl.obolibrary.org/obo/BFO_0000017 Process and Observation Ontology SAME_URI
http://purl.obolibrary.org/obo/BFO_0000017 Biological Collections Ontology LOOM
http://purl.obolibrary.org/obo/BFO_0000017 Biological Collections Ontology SAME_URI
http://purl.obolibrary.org/obo/BFO_0000017 Sustainable Development Goals Interface Ontology LOOM
http://purl.obolibrary.org/obo/BFO_0000017 Sustainable Development Goals Interface Ontology SAME_URI
http://purl.obolibrary.org/obo/BFO_0000017 Plant Experimental Conditions Ontology LOOM
http://purl.obolibrary.org/obo/BFO_0000017 Plant Experimental Conditions Ontology SAME_URI
http://purl.obolibrary.org/obo/BFO_0000017 Environment Ontology LOOM
http://purl.obolibrary.org/obo/BFO_0000017 Environment Ontology SAME_URI
http://purl.obolibrary.org/obo/BFO_0000017 Plant Environment Ontology LOOM
http://purl.obolibrary.org/obo/BFO_0000017 Plant Environment Ontology SAME_URI

Interportal mappings

Delete Mapping To Ontology Source Relations
There are currently no interportal mappings for this class.

External mappings

Delete Mapping To Ontology Source Relations
There are currently no external mappings for this class.