Basic Formal Ontology (BFO)
An 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.
[realizable entity; disposition]
[Delta0O; focussed ion beam scanning electron microscopy (FIB-SEM); JRC_FlyEM_Hemibrain; entity; JRC2018Unisex; KCa'b'; KCg-m]
[fiat object part; material entity]
A continuant that is dependent on one or other independent continuant bearers. For every instance of A requires some instance of (an independent continuant type) B but which instance of B serves can change from time to time.
[immaterial entity; independent continuant]
b is an independent continuant = Def. b is a continuant which is such that there is no c and no t such that b s-depends_on c at t. (axiom label in BFO2 Reference: [017-002])
An independent continuant that is spatially extended whose identity is independent of that of other entities and can be maintained through time.
[object; material entity]
[object aggregate; material entity]
An entity that has temporal parts and that happens, unfolds or develops through time.
p is a process = Def. p is an occurrent that has temporal proper parts and for some time t, p s-depends_on some material entity at t. (axiom label in BFO2 Reference: [083-003])
[quality; specifically dependent continuant]
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.
A realizable entity the manifestation of which brings about some result or end that is not essential to a continuant in virtue of the kind of thing that it is but that can be served or participated in by that kind of continuant in some kinds of natural, social or institutional contexts.
[immaterial entity; site]
[immaterial entity; spatial region]
b is a specifically dependent continuant = Def. b is a continuant & there is some independent continuant c which is not a spatial region and which is such that b s-depends_on c at every time t during the course of b’s existence. (axiom label in BFO2 Reference: [050-003])
Was this page helpful?
Glad to hear it! Please tell us how we can improve.
Sorry to hear that. Please tell us how we can improve.