Basic Formal Ontology (BFO)

Classes

connected_spatiotemporal_region^c back to ToC or Class ToC

IRI: http://www.ifomis.org/bfo/1.0/span#ConnectedSpatiotemporalRegion

Definition: A spatiotemporal region [span:SpatiotemporalRegion] that has temporal and spatial dimensions such that all points within the spatiotemporal region are mediately or immediately connected to all other points within the same spatiotemporal region [span:SpatiotemporalRegion].

is equivalent to: spatiotemporal_instant^c or spatiotemporal_interval^c
has super-classes: spatiotemporal_region^c
has sub-classes: spatiotemporal_instant^c, spatiotemporal_interval^c
is disjoint with: scattered_spatiotemporal_region^c

connected_temporal_region^c back to ToC or Class ToC

IRI: http://www.ifomis.org/bfo/1.0/span#ConnectedTemporalRegion

Definition: A temporal region [span:TemporalRegion] every point of which is mediately or immediately connected with every other point of which.

is equivalent to: temporal_instant^c or temporal_interval^c
has super-classes: temporal_region^c
has sub-classes: temporal_instant^c, temporal_interval^c
is disjoint with: scattered_temporal_region^c

continuant^c back to ToC or Class ToC

IRI: http://www.ifomis.org/bfo/1.0/snap#Continuant

Definition: An entity [bfo:Entity] that exists in full at any time in which it exists at all, persists through time while maintaining its identity and has no temporal parts.

is equivalent to: dependent_continuant^c or independent_continuant^c or spatial_region^c
has super-classes: entity^c
has sub-classes: dependent_continuant^c, independent_continuant^c, spatial_region^c
is disjoint with: occurrent^c

dependent_continuant^c back to ToC or Class ToC

IRI: http://www.ifomis.org/bfo/1.0/snap#DependentContinuant

Definition: A continuant [snap:Continuant] that inheres in or is borne by other entities.

is equivalent to: quality^c or realizable_entity^c
has super-classes: continuant^c
has sub-classes: quality^c, realizable_entity^c
is disjoint with: independent_continuant^c, spatial_region^c

disposition^c back to ToC or Class ToC

IRI: http://www.ifomis.org/bfo/1.0/snap#Disposition

Definition: A realizable entity [snap:RealizableEntity] that essentially causes a specific process or transformation in the object [snap:Object] in which it inheres, under specific circumstances and in conjunction with the laws of nature. A general formula for dispositions is: X (object [snap:Object] has the disposition D to (transform, initiate a process) R under conditions C.

has super-classes: realizable_entity^c
is disjoint with: function^c, role^c

entity^c back to ToC or Class ToC

IRI: http://www.ifomis.org/bfo/1.0#Entity

is equivalent to: continuant^c or occurrent^c
has sub-classes: continuant^c, occurrent^c

fiat_object_part^c back to ToC or Class ToC

IRI: http://www.ifomis.org/bfo/1.0/snap#FiatObjectPart

Definition: An independent continuant [snap:IndependentContinuant] that is part of an object [snap:Object] but is not demarcated by any physical discontinuities.

has super-classes: independent_continuant^c
is disjoint with: object^c, object_aggregate^c, object_boundary^c, site^c

fiat_process_part^c back to ToC or Class ToC

IRI: http://www.ifomis.org/bfo/1.0/span#FiatProcessPart

Definition: A processual entity [span:ProcessualEntity] that is part of a process but that does not have bona fide beginnings and endings corresponding to real discontinuities.

has super-classes: processual_entity^c
is disjoint with: process^c, process_aggregate^c, process_boundary^c, processual_context^c

function^c back to ToC or Class ToC

IRI: http://www.ifomis.org/bfo/1.0/snap#Function

Definition: A realizable entity [span:RealizableEntity] the manifestation of which is an essentialy end-directed activity of a continuant [span:Continuant] entity in virtue of that continuant [span:Continuant] entity being a specific kind of entity in the kind or kinds of contexts that it is made for.

has super-classes: realizable_entity^c
is disjoint with: disposition^c, role^c

independent_continuant^c back to ToC or Class ToC

IRI: http://www.ifomis.org/bfo/1.0/snap#IndependentContinuant

Definition: A continuant [snap:Continuant] that is a bearer of quality [snap:Quality] and realizable entity [snap:RealizableEntity] entities, in which other entities inhere and which itself cannot inhere in anything.

is equivalent to: fiat_object_part^c or object^c or object_aggregate^c or object_boundary^c or site^c
has super-classes: continuant^c
has sub-classes: fiat_object_part^c, object^c, object_aggregate^c, object_boundary^c, site^c
is disjoint with: dependent_continuant^c, spatial_region^c

object^c back to ToC or Class ToC

IRI: http://www.ifomis.org/bfo/1.0/snap#Object

Definition: A independent continuant [span:IndependentContinuant] that is spatially extended, maximally self-connected and self-contained (the parts of a substance are not separated from each other by spatial gaps) and possesses an internal unity. The identity of substantial object [snap:Object] entities is independent of that of other entities and can be maintained through time and through loss and gain of parts and qualities.

has super-classes: independent_continuant^c
is disjoint with: fiat_object_part^c, object_aggregate^c, object_boundary^c, site^c

object_aggregate^c back to ToC or Class ToC

IRI: http://www.ifomis.org/bfo/1.0/snap#ObjectAggregate

Definition: An independent continuant [snap:IndependentContinuant] that is a mereological sum of separate object [snap:Object] entities and possesses non-connected boundaries.

has super-classes: independent_continuant^c
is disjoint with: fiat_object_part^c, object^c, object_boundary^c, site^c

object_boundary^c back to ToC or Class ToC

IRI: http://www.ifomis.org/bfo/1.0/snap#ObjectBoundary

Comment: Boundaries are theoretically difficult entities to account for, however the intuitive notion of a physical boundary as a surface of some sort (whether inside or outside of a thing) will generally serve as a good guide for the use of this universal.

has super-classes: independent_continuant^c
is disjoint with: fiat_object_part^c, object^c, object_aggregate^c, site^c

occurrent^c back to ToC or Class ToC

IRI: http://www.ifomis.org/bfo/1.0/span#Occurrent

Definition: An entity [bfo:Entity] that has temporal parts and that happens, unfolds or develops through time. Sometimes also called perdurants.

is equivalent to: processual_entity^c or spatiotemporal_region^c or temporal_region^c
has super-classes: entity^c
has sub-classes: processual_entity^c, spatiotemporal_region^c, temporal_region^c
is disjoint with: continuant^c

one_dimensional_region^c back to ToC or Class ToC

IRI: http://www.ifomis.org/bfo/1.0/snap#OneDimensionalRegion

Definition: A spatial region [snap:SpatialRegion] with one dimension.

has super-classes: spatial_region^c
is disjoint with: three_dimensional_region^c, two_dimensional_region^c, zero_dimensional_region^c

process^c back to ToC or Class ToC

IRI: http://www.ifomis.org/bfo/1.0/span#Process

Definition: A processual entity [span:ProcessualEntity] that is a maximally connected spatiotemporal whole and has bona fide beginnings and endings corresponding to real discontinuities.

has super-classes: processual_entity^c
is disjoint with: fiat_process_part^c, process_aggregate^c, process_boundary^c, processual_context^c

process_aggregate^c back to ToC or Class ToC

IRI: http://www.ifomis.org/bfo/1.0/span#ProcessAggregate

Definition: A processual entity [span:ProcessualEntity] that is a meriological sum of process [span:Process] entities and possesses non-connected boundaries.

has super-classes: processual_entity^c
is disjoint with: fiat_process_part^c, process^c, process_boundary^c, processual_context^c

process_boundary^c back to ToC or Class ToC

IRI: http://www.ifomis.org/bfo/1.0/span#ProcessBoundary

Definition: A processual entity [span:ProcessualEntity] that is the fiat or bona fide instantaneous temporal process boundary.

has super-classes: processual_entity^c
is disjoint with: fiat_process_part^c, process^c, process_aggregate^c, processual_context^c

processual_context^c back to ToC or Class ToC

IRI: http://www.ifomis.org/bfo/1.0/span#ProcessualContext

Comment: setting

has super-classes: processual_entity^c
is disjoint with: fiat_process_part^c, process^c, process_aggregate^c, process_boundary^c

processual_entity^c back to ToC or Class ToC

IRI: http://www.ifomis.org/bfo/1.0/span#ProcessualEntity

Definition: An occurrent [span:Occurrent] that exists in time by occurring or happening, has temporal parts and always involves and depends on some entity.

is equivalent to: fiat_process_part^c or process^c or process_aggregate^c or process_boundary^c or processual_context^c
has super-classes: occurrent^c
has sub-classes: fiat_process_part^c, process^c, process_aggregate^c, process_boundary^c, processual_context^c
is disjoint with: spatiotemporal_region^c, temporal_region^c

quality^c back to ToC or Class ToC

IRI: http://www.ifomis.org/bfo/1.0/snap#Quality

Definition: A dependent continuant [span:DependentContinuant] that is exhibited if it inheres in an entity or entities at all (a categorical property).

has super-classes: dependent_continuant^c
is disjoint with: realizable_entity^c

realizable_entity^c back to ToC or Class ToC

IRI: http://www.ifomis.org/bfo/1.0/snap#RealizableEntity

Definition: A dependent continuant [span:DependentContinuant] that inheres in continuant [span: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.

is equivalent to: disposition^c or function^c or role^c
has super-classes: dependent_continuant^c
has sub-classes: disposition^c, function^c, role^c
is disjoint with: quality^c

role^c back to ToC or Class ToC

IRI: http://www.ifomis.org/bfo/1.0/snap#Role

Definition: A realizable entity [span:RealizableEntity] the manifestation of which brings about some result or end that is not essential to a continuant [span:Continuant] in virtue of the kind of thing that it is but that can be served or participated in by that kind of continuant [span:Continuant] in some kinds of natural, social or institutional contexts.

has super-classes: realizable_entity^c
is disjoint with: disposition^c, function^c

scattered_spatiotemporal_region^c back to ToC or Class ToC

IRI: http://www.ifomis.org/bfo/1.0/span#ScatteredSpatiotemporalRegion

Definition: A spatiotemporal region [span:SpatiotemporalRegion] that has spatial and temporal dimensions and every spatial and temporal point of which is not connected with every other spatial and temporal point of which.

has super-classes: spatiotemporal_region^c
is disjoint with: connected_spatiotemporal_region^c

scattered_temporal_region^c back to ToC or Class ToC

IRI: http://www.ifomis.org/bfo/1.0/span#ScatteredTemporalRegion

Definition: A temporal region [span:TemporalRegion] every point of which is not mediately or immediately connected with every other point of which.

has super-classes: temporal_region^c
is disjoint with: connected_temporal_region^c

site^c back to ToC or Class ToC

IRI: http://www.ifomis.org/bfo/1.0/snap#Site

Comment: Site [snap:Site] entities should not be confused with spatial region [snap:SpatialRegion] entities. Site [snap:Site] entities characteristically have a filling or medium and are capable of altering their spatial location (moving from one spatial region [snap:SpatialRegion] to another) without altering their identity.

has super-classes: independent_continuant^c
is disjoint with: fiat_object_part^c, object^c, object_aggregate^c, object_boundary^c

spatial_region^c back to ToC or Class ToC

IRI: http://www.ifomis.org/bfo/1.0/snap#SpatialRegion

Comment: Spatial region [span:spatialRegion] entities should not be confused with sites. Spatial region [span:spatialRegion] entities exist as parts of pure or absolute space, have a dimensionality and a shape but require no filling in order to exist and are also immobile.

is equivalent to: one_dimensional_region^c or three_dimensional_region^c or two_dimensional_region^c or zero_dimensional_region^c
has super-classes: continuant^c
has sub-classes: one_dimensional_region^c, three_dimensional_region^c, two_dimensional_region^c, zero_dimensional_region^c
is disjoint with: dependent_continuant^c, independent_continuant^c

spatiotemporal_instant^c back to ToC or Class ToC

IRI: http://www.ifomis.org/bfo/1.0/span#SpatiotemporalInstant

Definition: A connected spatiotemporal region [span:ConnectedSpatiotemporalRegion] at a specific moment.

has super-classes: connected_spatiotemporal_region^c
is disjoint with: spatiotemporal_interval^c

spatiotemporal_interval^c back to ToC or Class ToC

IRI: http://www.ifomis.org/bfo/1.0/span#SpatiotemporalInterval

Definition: A connected spatiotemporal region [span:ConnectedSpatiotemporalRegion] that endures for more than a single moment of time.

has super-classes: connected_spatiotemporal_region^c
is disjoint with: spatiotemporal_instant^c

spatiotemporal_region^c back to ToC or Class ToC

IRI: http://www.ifomis.org/bfo/1.0/span#SpatiotemporalRegion

Comment: This is the time and space within which occurrent [span:Occurrent] entities exist. Occurrent [span:Occurrent] entities exist in space and time in a different way from that in which continuant [span:Continuant] entities do and thus the space and time in which they exist is itself different. The importance of spatiotemporal region [span:SpatiotemporalRegion] is primarily theoretical and it will not be used often in most domain ontology applications.

is equivalent to: connected_spatiotemporal_region^c or scattered_spatiotemporal_region^c
has super-classes: occurrent^c
has sub-classes: connected_spatiotemporal_region^c, scattered_spatiotemporal_region^c
is disjoint with: processual_entity^c, temporal_region^c

temporal_instant^c back to ToC or Class ToC

IRI: http://www.ifomis.org/bfo/1.0/span#TemporalInstant

Definition: A connected temporal region [span:ConnectedTemporalRegion] comprising a single moment of time.

has super-classes: connected_temporal_region^c
is disjoint with: temporal_interval^c

temporal_interval^c back to ToC or Class ToC

IRI: http://www.ifomis.org/bfo/1.0/span#TemporalInterval

Definition: A connected temporal region [span:ConnectedTemporalRegion] lasting for more than a single moment of time.

has super-classes: connected_temporal_region^c
is disjoint with: temporal_instant^c

temporal_region^c back to ToC or Class ToC

IRI: http://www.ifomis.org/bfo/1.0/span#TemporalRegion

Comment: This is the time that is common to both SNAP and SPAN entities. The time of temporal region [span:TemporalRegion] and its sub-classes will normally be the time that should be referred to when sub-classing universals having to do with time in an ontology.

is equivalent to: connected_temporal_region^c or scattered_temporal_region^c
has super-classes: occurrent^c
has sub-classes: connected_temporal_region^c, scattered_temporal_region^c
is disjoint with: processual_entity^c, spatiotemporal_region^c

three_dimensional_region^c back to ToC or Class ToC

IRI: http://www.ifomis.org/bfo/1.0/snap#ThreeDimensionalRegion

Definition: A spatial region [snap:SpatialRegion] with three dimensions.

has super-classes: spatial_region^c
is disjoint with: one_dimensional_region^c, two_dimensional_region^c, zero_dimensional_region^c

two_dimensional_region^c back to ToC or Class ToC

IRI: http://www.ifomis.org/bfo/1.0/snap#TwoDimensionalRegion

Definition: A spatial region [snap:SpatialRegion] with two dimensions.

has super-classes: spatial_region^c
is disjoint with: one_dimensional_region^c, three_dimensional_region^c, zero_dimensional_region^c

zero_dimensional_region^c back to ToC or Class ToC

IRI: http://www.ifomis.org/bfo/1.0/snap#ZeroDimensionalRegion

Definition: A spatial region [snap:SpatialRegion] with no dimensions.

has super-classes: spatial_region^c
is disjoint with: one_dimensional_region^c, three_dimensional_region^c, two_dimensional_region^c

This HTML document was obtained by processing the OWL ontology source code through LODE, Live OWL Documentation Environment, developed by Silvio Peroni.

Basic Formal Ontology (BFO)

Table of Content

Classes

connected_spatiotemporal_regionc back to ToC or Class ToC

connected_temporal_regionc back to ToC or Class ToC

continuantc back to ToC or Class ToC

dependent_continuantc back to ToC or Class ToC

dispositionc back to ToC or Class ToC

entityc back to ToC or Class ToC

fiat_object_partc back to ToC or Class ToC

fiat_process_partc back to ToC or Class ToC

functionc back to ToC or Class ToC

independent_continuantc back to ToC or Class ToC

objectc back to ToC or Class ToC

object_aggregatec back to ToC or Class ToC

object_boundaryc back to ToC or Class ToC

occurrentc back to ToC or Class ToC

one_dimensional_regionc back to ToC or Class ToC

processc back to ToC or Class ToC

process_aggregatec back to ToC or Class ToC

process_boundaryc back to ToC or Class ToC

processual_contextc back to ToC or Class ToC

processual_entityc back to ToC or Class ToC

qualityc back to ToC or Class ToC

realizable_entityc back to ToC or Class ToC

rolec back to ToC or Class ToC

scattered_spatiotemporal_regionc back to ToC or Class ToC

scattered_temporal_regionc back to ToC or Class ToC

sitec back to ToC or Class ToC

spatial_regionc back to ToC or Class ToC

spatiotemporal_instantc back to ToC or Class ToC

spatiotemporal_intervalc back to ToC or Class ToC

spatiotemporal_regionc back to ToC or Class ToC

temporal_instantc back to ToC or Class ToC

temporal_intervalc back to ToC or Class ToC

temporal_regionc back to ToC or Class ToC

three_dimensional_regionc back to ToC or Class ToC

two_dimensional_regionc back to ToC or Class ToC

zero_dimensional_regionc back to ToC or Class ToC

Annotation Properties

contributorap back to ToC or Annotation Property ToC

creatorap back to ToC or Annotation Property ToC

formatap back to ToC or Annotation Property ToC

identifierap back to ToC or Annotation Property ToC

languageap back to ToC or Annotation Property ToC

publisherap back to ToC or Annotation Property ToC

sourceap back to ToC or Annotation Property ToC

titleap back to ToC or Annotation Property ToC

Namespace Declarations back to ToC