Annotation Property: definition
Usage (45)
- continuant definition "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." @en
- occurrent definition "An entity that has temporal parts and that happens, unfolds or develops through time." @en
- 'independent continuant' definition "A continuant that is a bearer of quality and realizable entity entities, in which other entities inhere and which itself cannot inhere in anything." @en
- 'independent continuant' definition "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])" @en
- 'obsolete dependent continuant' definition "A continuant that is either dependent on one or other independent continuant bearers or inheres in or is borne by other entities." @en
- process definition "An occurrent that has temporal proper parts and for some time t, p s-depends_on some material entity at t." @en
- process definition "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])" @en
- 'realizable entity' 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." @en
- 'specifically dependent continuant' definition "A continuant that inheres in or is borne by other entities. Every instance of A requires some specific instance of B which must always be the same." @en
- 'specifically dependent continuant' definition "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])" @en
- role definition "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." @en
- 'generically dependent continuant' definition "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." @en
- 'generically dependent continuant' definition "b is a generically dependent continuant = Def. b is a continuant that g-depends_on one or more other entities. (axiom label in BFO2 Reference: [074-001])" @en
- 'process boundary' definition "p is a process boundary =Def. p is a temporal part of a process & p has no proper temporal parts. (axiom label in BFO2 Reference: [084-001])" @en
- 'material entity' definition "An independent continuant that is spatially extended whose identity is independent of that of other entities and can be maintained through time." @en
- 'part of' definition "a core relation that holds between a part and its whole" @en
- 'has part' definition "a core relation that holds between a whole and its part" @en
- 'occurs in' definition "b occurs_in c =def b is a process and c is a material entity or immaterial entity& there exists a spatiotemporal region r and b occupies_spatiotemporal_region r.& forall(t) if b exists_at t then c exists_at t & there exist spatial regions s and s’ where & b spatially_projects_onto s at t& c is occupies_spatial_region s’ at t& s is a proper_continuant_part_of s’ at t" @en
- 'contains process' definition "[copied from inverse property 'occurs in'] b occurs_in c =def b is a process and c is a material entity or immaterial entity& there exists a spatiotemporal region r and b occupies_spatiotemporal_region r.& forall(t) if b exists_at t then c exists_at t & there exist spatial regions s and s’ where & b spatially_projects_onto s at t& c is occupies_spatial_region s’ at t& s is a proper_continuant_part_of s’ at t" @en
- 'continuant fiat boundary' definition "b is a continuant fiat boundary = Def. b is an immaterial entity that is of zero, one or two dimensions and does not include a spatial region as part. (axiom label in BFO2 Reference: [029-001])" @en
- 'process profile' definition "b is a process_profile =Def. there is some process c such that b process_profile_of c (axiom label in BFO2 Reference: [093-002])" @en
- 'relational quality' definition "b is a relational quality = Def. for some independent continuants c, d and for some time t: b quality_of c at t & b quality_of d at t. (axiom label in BFO2 Reference: [057-001])" @en
- 'BFO OWL specification label' definition "Relates an entity in the ontology to the name of the variable that is used to represent it in the code that generates the BFO OWL file from the lispy specification." @en
- 'BFO CLIF specification label' definition "Relates an entity in the ontology to the term that is used to represent it in the the CLIF specification of BFO2" @en
- 'inheres in' definition "a relation between a specifically dependent continuant (the dependent) and an independent continuant (the bearer), in which the dependent specifically depends on the bearer for its existence" @en
- 'bearer of' definition "a relation between an independent continuant (the bearer) and a specifically dependent continuant (the dependent), in which the dependent specifically depends on the bearer for its existence" @en
- 'participates in' definition "a relation between a continuant and a process, in which the continuant is somehow involved in the process" @en
- 'has participant' definition "a relation between a process and a continuant, in which the continuant is somehow involved in the process" @en
- 'is concretized as' definition "A relationship between a generically dependent continuant and a specifically dependent continuant, in which the generically dependent continuant depends on some independent continuant in virtue of the fact that the specifically dependent continuant also depends on that same independent continuant. A generically dependent continuant may be concretized as multiple specifically dependent continuants." @en
- concretizes definition "A relationship between a specifically dependent continuant and a generically dependent continuant, in which the generically dependent continuant depends on some independent continuant in virtue of the fact that the specifically dependent continuant also depends on that same independent continuant. Multiple specifically dependent continuants can concretize the same generically dependent continuant." @en
- 'function of' definition "a relation between a function and an independent continuant (the bearer), in which the function specifically depends on the bearer for its existence" @en
- 'quality of' definition "a relation between a quality and an independent continuant (the bearer), in which the quality specifically depends on the bearer for its existence" @en
- 'role of' definition "a relation between a role and an independent continuant (the bearer), in which the role specifically depends on the bearer for its existence" @en
- 'has function' definition "a relation between an independent continuant (the bearer) and a function, in which the function specifically depends on the bearer for its existence" @en
- 'has quality' definition "a relation between an independent continuant (the bearer) and a quality, in which the quality specifically depends on the bearer for its existence" @en
- 'has role' definition "a relation between an independent continuant (the bearer) and a role, in which the role specifically depends on the bearer for its existence" @en
- 'has disposition' definition "a relation between an independent continuant (the bearer) and a disposition, in which the disposition specifically depends on the bearer for its existence" @en
- 'derives from' definition "a relation between two distinct material entities, the new entity and the old entity, in which the new entity begins to exist when the old entity ceases to exist, and the new entity inherits the significant portion of the matter of the old entity" @en
- 'derives into' definition "a relation between two distinct material entities, the old entity and the new entity, in which the new entity begins to exist when the old entity ceases to exist, and the new entity inherits the significant portion of the matter of the old entity" @en
- 'location of' definition "a relation between two independent continuants, the location and the target, in which the target is entirely within the location" @en
- 'located in' definition "a relation between two independent continuants, the target and the location, in which the target is entirely within the location" @en
- '2D boundary of' definition "a relation between a 2D immaterial entity (the boundary) and a material entity, in which the boundary delimits the material entity" @en
- 'has 2D boundary' definition "a relation between a material entity and a 2D immaterial entity (the boundary), in which the boundary delimits the material entity" @en
- 'member of' definition "is member of is a mereological relation between a item and a collection."
- 'has member' definition "has member is a mereological relation between a collection and an item."
