From fe68cd467d9f0d5b31f51461f4a2aefe9cabd5dc Mon Sep 17 00:00:00 2001 From: Alan Ruttenberg Date: Sat, 27 Jan 2024 22:32:27 -0500 Subject: [PATCH] Add profiles directory. Move temporal extensions into that. Add atemporal directory in profiles. Restore notime version there --- src/owl/bfo-core.owl | 4690 ++++++----------- .../bfo-2020-without-some-all-times.owl | 985 ++++ .../temporal extensions/README.md | 0 .../contributions/README.md | 0 .../allen-relation-definitions.cl | 0 .../documentation/README.md | 0 .../documentation/bfo-2020-iris.xlsx | Bin .../bfo-2020-relations-table.csv | 0 .../bfo-2020-relations-table.xlsx | Bin .../documentation/bfo-2020-terms.csv | 0 .../documentation/bfo-2020-terms.xlsx | Bin .../documentation/reverse-vs-inverse.txt | 0 .../temporalized relations/owl/README.md | 0 .../owl/bfo-temporalized-relations.ofn | 0 .../owl/bfo-temporalized-relations.owl | 2193 ++++++++ .../owl/bfo-temporalized-relations.ttl | 0 .../owl/catalog-v001.xml | 6 + .../owl/bfo-temporalized-relations.owl | 4300 --------------- 18 files changed, 4849 insertions(+), 7325 deletions(-) create mode 100644 src/owl/profiles/atemporal/bfo-2020-without-some-all-times.owl rename src/owl/{ => profiles}/temporal extensions/README.md (100%) rename src/owl/{ => profiles}/temporal extensions/contributions/README.md (100%) rename src/owl/{ => profiles}/temporal extensions/contributions/allen-relation-definitions.cl (100%) rename src/owl/{ => profiles}/temporal extensions/temporalized relations/documentation/README.md (100%) rename src/owl/{ => profiles}/temporal extensions/temporalized relations/documentation/bfo-2020-iris.xlsx (100%) rename src/owl/{ => profiles}/temporal extensions/temporalized relations/documentation/bfo-2020-relations-table.csv (100%) rename src/owl/{ => profiles}/temporal extensions/temporalized relations/documentation/bfo-2020-relations-table.xlsx (100%) rename src/owl/{ => profiles}/temporal extensions/temporalized relations/documentation/bfo-2020-terms.csv (100%) rename src/owl/{ => profiles}/temporal extensions/temporalized relations/documentation/bfo-2020-terms.xlsx (100%) rename src/owl/{ => profiles}/temporal extensions/temporalized relations/documentation/reverse-vs-inverse.txt (100%) rename src/owl/{ => profiles}/temporal extensions/temporalized relations/owl/README.md (100%) rename src/owl/{ => profiles}/temporal extensions/temporalized relations/owl/bfo-temporalized-relations.ofn (100%) create mode 100644 src/owl/profiles/temporal extensions/temporalized relations/owl/bfo-temporalized-relations.owl rename src/owl/{ => profiles}/temporal extensions/temporalized relations/owl/bfo-temporalized-relations.ttl (100%) create mode 100644 src/owl/profiles/temporal extensions/temporalized relations/owl/catalog-v001.xml delete mode 100644 src/owl/temporal extensions/temporalized relations/owl/bfo-temporalized-relations.owl diff --git a/src/owl/bfo-core.owl b/src/owl/bfo-core.owl index 4f271b8..954d40e 100644 --- a/src/owl/bfo-core.owl +++ b/src/owl/bfo-core.owl @@ -1,3031 +1,1671 @@ - - - - - - - - - - - - - Alan Ruttenberg - - - - Albert Goldfain - - - - Barry Smith - - - - Bill Duncan - - - - Bjoern Peters - - - - Chris Mungall - - - - David Osumi-Sutherland - - - - Fabian Neuhaus - - - - James A. Overton - - - - Janna Hastings - - - - Jie Zheng - - - - John Beverley - - - - Jonathan Bona - - - - Larry Hunter - - - - Leonard Jacuzzo - - - - Ludger Jansen - - - - Mark Jensen - - - - Mark Ressler - - - - Mathias Brochhausen - - - - Mauricio Almeida - - - - Melanie Courtot - - - - Neil Otte - - - - Pierre Grenon - - - - Randall Dipert - - - - Robert Rovetto - - - - Ron Rudnicki - - - - Stefan Schulz - - - - Thomas Bittner - - - - Werner Ceusters - - - - Yongqun "Oliver" He - - - - Basic Formal Ontology implemented in the Web Ontology Language (OWL 2) with direct semantics. - - - - https://creativecommons.org/licenses/by/4.0/ - - - - BFO 2020 - - - - The most recent version of this file will always be in the GitHub repository https://github.com/bfo-ontology/bfo-2020 - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - http://purl.obolibrary.org/obo/BFO_0000001 - 001-BFO - - - - http://purl.obolibrary.org/obo/BFO_0000001 - entity - - - - http://purl.obolibrary.org/obo/BFO_0000001 - (Elucidation) An entity is anything that exists or has existed or will exist - - - - http://purl.obolibrary.org/obo/BFO_0000001 - Julius Caesar; the Second World War; your body mass index; Verdi's Requiem - - - - http://purl.obolibrary.org/obo/BFO_0000002 - 008-BFO - - - - http://purl.obolibrary.org/obo/BFO_0000002 - continuant - - - - http://purl.obolibrary.org/obo/BFO_0000002 - (Elucidation) A continuant is an entity that persists, endures, or continues to exist through time while maintaining its identity - - - - http://purl.obolibrary.org/obo/BFO_0000002 - A human being; a tennis ball; a cave; a region of space; someone's temperature - - - - http://purl.obolibrary.org/obo/BFO_0000003 - 077-BFO - - - - http://purl.obolibrary.org/obo/BFO_0000003 - occurrent - - - - http://purl.obolibrary.org/obo/BFO_0000003 - (Elucidation) An occurrent is an entity that unfolds itself in time or it is the start or end of such an entity or it is a temporal or spatiotemporal region - - - - http://purl.obolibrary.org/obo/BFO_0000003 - As for process, history, process boundary, spatiotemporal region, zero-dimensional temporal region, one-dimensional temporal region, temporal interval, temporal instant. - - - - http://purl.obolibrary.org/obo/BFO_0000004 - 017-BFO - - - - http://purl.obolibrary.org/obo/BFO_0000004 - independent continuant - - - - http://purl.obolibrary.org/obo/BFO_0000004 - b is an independent continuant =Def b is a continuant & there is no c such that b specifically depends on c or b generically depends on c - - - - http://purl.obolibrary.org/obo/BFO_0000004 - An atom; a molecule; an organism; a heart; a chair; the bottom right portion of a human torso; a leg; the interior of your mouth; a spatial region; an orchestra - - - - http://purl.obolibrary.org/obo/BFO_0000006 - 035-BFO - - - - http://purl.obolibrary.org/obo/BFO_0000006 - spatial region - - - - http://purl.obolibrary.org/obo/BFO_0000006 - (Elucidation) A spatial region is a continuant entity that is a continuant part of the spatial projection of a portion of spacetime at a given time - - - - http://purl.obolibrary.org/obo/BFO_0000006 - As for zero-dimensional spatial region, one-dimensional spatial region, two-dimensional spatial region, three-dimensional spatial region - - - - http://purl.obolibrary.org/obo/BFO_0000008 - 100-BFO - - - - http://purl.obolibrary.org/obo/BFO_0000008 - temporal region - - - - http://purl.obolibrary.org/obo/BFO_0000008 - (Elucidation) A temporal region is an occurrent over which processes can unfold - - - - http://purl.obolibrary.org/obo/BFO_0000008 - As for zero-dimensional temporal region and one-dimensional temporal region - - - - http://purl.obolibrary.org/obo/BFO_0000009 - 039-BFO - - - - http://purl.obolibrary.org/obo/BFO_0000009 - two-dimensional spatial region - - - - http://purl.obolibrary.org/obo/BFO_0000009 - (Elucidation) A two-dimensional spatial region is a spatial region that is a whole consisting of a surface together with zero or more surfaces which may have spatial regions of lower dimension as parts - - - - http://purl.obolibrary.org/obo/BFO_0000009 - The surface of a sphere-shaped part of space; an infinitely thin plane in space - - - - http://purl.obolibrary.org/obo/BFO_0000011 - 095-BFO - - - - http://purl.obolibrary.org/obo/BFO_0000011 - spatiotemporal region - - - - http://purl.obolibrary.org/obo/BFO_0000011 - (Elucidation) A spatiotemporal region is an occurrent that is an occurrent part of spacetime - - - - http://purl.obolibrary.org/obo/BFO_0000011 - The spatiotemporal region occupied by the development of a cancer tumour; the spatiotemporal region occupied by an orbiting satellite - - - - http://purl.obolibrary.org/obo/BFO_0000011 - 'Spacetime' here refers to the maximal instance of the universal spatiotemporal region. - - - - http://purl.obolibrary.org/obo/BFO_0000015 - 083-BFO - - - - http://purl.obolibrary.org/obo/BFO_0000015 - process - - - - http://purl.obolibrary.org/obo/BFO_0000015 - event - - - - http://purl.obolibrary.org/obo/BFO_0000015 - (Elucidation) p is a process means p is an occurrent that has some temporal proper part and for some time t, p has some material entity as participant - - - - http://purl.obolibrary.org/obo/BFO_0000015 - An act of selling; the life of an organism; a process of sleeping; a process of cell-division; a beating of the heart; a process of meiosis; the taxiing of an aircraft; the programming of a computer - - - - http://purl.obolibrary.org/obo/BFO_0000016 - 062-BFO - - - - http://purl.obolibrary.org/obo/BFO_0000016 - disposition - - - - http://purl.obolibrary.org/obo/BFO_0000016 - internally-grounded realizable entity - - - - http://purl.obolibrary.org/obo/BFO_0000016 - (Elucidation) A disposition b is a realizable entity such that if b ceases to exist then its bearer is physically changed & b's realization occurs when and because this bearer is in some special physical circumstances & this realization occurs in virtue of the bearer's physical make-up - - - - http://purl.obolibrary.org/obo/BFO_0000016 - An atom of element X has the disposition to decay to an atom of element Y; the cell wall is disposed to transport cellular material through endocytosis and exocytosis; certain people have a predisposition to colon cancer; children are innately disposed to categorize objects in certain ways - - - - http://purl.obolibrary.org/obo/BFO_0000017 - 058-BFO - - - - http://purl.obolibrary.org/obo/BFO_0000017 - realizable entity - - - - http://purl.obolibrary.org/obo/BFO_0000017 - (Elucidation) A realizable entity is a specifically dependent continuant that inheres in some independent continuant which is not a spatial region & which is of a type some instances of which are realized in processes of a correlated type - - - - http://purl.obolibrary.org/obo/BFO_0000017 - The role of being a doctor; the role of this boundary to delineate where Utah and Colorado meet; the function of your reproductive organs; the disposition of your blood to coagulate; the disposition of this piece of metal to conduct electricity - - - - http://purl.obolibrary.org/obo/BFO_0000018 - 037-BFO - - - - http://purl.obolibrary.org/obo/BFO_0000018 - zero-dimensional spatial region - - - - http://purl.obolibrary.org/obo/BFO_0000018 - (Elucidation) A zero-dimensional spatial region is one or a collection of more than one spatially disjoint points in space - - - - http://purl.obolibrary.org/obo/BFO_0000018 - The spatial region occupied at some time instant by the North Pole - - - - http://purl.obolibrary.org/obo/BFO_0000019 - 055-BFO - - - - http://purl.obolibrary.org/obo/BFO_0000019 - quality - - - - http://purl.obolibrary.org/obo/BFO_0000019 - (Elucidation) A quality is a specifically dependent continuant that, in contrast to roles and dispositions, does not require any further process in order to be realized - - - - http://purl.obolibrary.org/obo/BFO_0000019 - The colour of a tomato; the ambient temperature of this portion of air; the length of the circumference of your waist; the shape of your nose; the shape of your nostril; the mass of this piece of gold - - - - http://purl.obolibrary.org/obo/BFO_0000020 - 050-BFO - - - - http://purl.obolibrary.org/obo/BFO_0000020 - specifically dependent continuant - - - - http://purl.obolibrary.org/obo/BFO_0000020 - b is a specifically dependent continuant =Def b is a continuant & there is some independent continuant c which is not a spatial region & which is such that b specifically depends on c - - - - http://purl.obolibrary.org/obo/BFO_0000020 - (with multiple bearers) John's love for Mary; the ownership relation between John and this statue; the relation of authority between John and his subordinates - - - - http://purl.obolibrary.org/obo/BFO_0000020 - (with one bearer) The mass of this tomato; the pink colour of a medium rare piece of grilled filet mignon at its centre; the smell of this portion of mozzarella; the disposition of this fish to decay; the role of being a doctor; the function of this heart to pump blood; the shape of this hole - - - - http://purl.obolibrary.org/obo/BFO_0000023 - 061-BFO - - - - http://purl.obolibrary.org/obo/BFO_0000023 - role - - - - http://purl.obolibrary.org/obo/BFO_0000023 - externally-grounded realizable entity - - - - http://purl.obolibrary.org/obo/BFO_0000023 - (Elucidation) A role b is a realizable entity such that b exists because there is some single bearer that is in some special physical, social, or institutional set of circumstances in which this bearer does not have to be & b is not such that, if it ceases to exist, then the physical make-up of the bearer is thereby changed - - - - http://purl.obolibrary.org/obo/BFO_0000023 - The priest role; the student role; the role of subject in a clinical trial; the role of a stone in marking a property boundary; the role of a boundary to demarcate two neighbouring administrative territories; the role of a building in serving as a military target - - - - http://purl.obolibrary.org/obo/BFO_0000024 - 027-BFO - - - - http://purl.obolibrary.org/obo/BFO_0000024 - fiat object part - - - - http://purl.obolibrary.org/obo/BFO_0000024 - (Elucidation) A fiat object part b is a material entity & such that if b exists then it is continuant part of some object c & demarcated from the remainder of c by one or more fiat surfaces - - - - http://purl.obolibrary.org/obo/BFO_0000024 - The upper and lower lobes of the left lung; the dorsal and ventral surfaces of the body; the Western hemisphere of the Earth; the FMA:regional parts of an intact human body - - - - http://purl.obolibrary.org/obo/BFO_0000026 - 038-BFO - - - - http://purl.obolibrary.org/obo/BFO_0000026 - one-dimensional spatial region - - - - http://purl.obolibrary.org/obo/BFO_0000026 - (Elucidation) A one-dimensional spatial region is a whole consisting of a line together with zero or more lines which may have points as parts - - - - http://purl.obolibrary.org/obo/BFO_0000026 - An edge of a cube-shaped portion of space; a line connecting two points; two parallel lines extended in space - - - - http://purl.obolibrary.org/obo/BFO_0000027 - 025-BFO - - - - http://purl.obolibrary.org/obo/BFO_0000027 - object aggregate - - - - http://purl.obolibrary.org/obo/BFO_0000027 - (Elucidation) An object aggregate is a material entity consisting exactly of a plurality (≥1) of objects as member parts which together form a unit - - - - http://purl.obolibrary.org/obo/BFO_0000027 - The aggregate of the musicians in a symphony orchestra and their instruments; the aggregate of bearings in a constant velocity axle joint; the nitrogen atoms in the atmosphere; a collection of cells in a blood biobank - - - - http://purl.obolibrary.org/obo/BFO_0000027 - 'Exactly' means that there are no parts of the object aggregate other than its member parts. - - - - http://purl.obolibrary.org/obo/BFO_0000027 - The unit can, at certain times, consist of exactly one object, for example, when a wolf litter loses all but one of its pups, but it must at some time have a plurality of member parts. - - - - http://purl.obolibrary.org/obo/BFO_0000028 - 040-BFO - - - - http://purl.obolibrary.org/obo/BFO_0000028 - three-dimensional spatial region - - - - http://purl.obolibrary.org/obo/BFO_0000028 - (Elucidation) A three-dimensional spatial region is a whole consisting of a spatial volume together with zero or more spatial volumes which may have spatial regions of lower dimension as parts - - - - http://purl.obolibrary.org/obo/BFO_0000028 - A cube-shaped region of space; a sphere-shaped region of space; the region of space occupied by all and only the planets in the solar system at some point in time - - - - http://purl.obolibrary.org/obo/BFO_0000029 - 034-BFO - - - - http://purl.obolibrary.org/obo/BFO_0000029 - site - - - - http://purl.obolibrary.org/obo/BFO_0000029 - (Elucidation) A site is a three-dimensional immaterial entity whose boundaries either (partially or wholly) coincide with the boundaries of one or more material entities or have locations determined in relation to some material entity - - - - http://purl.obolibrary.org/obo/BFO_0000029 - A hole in a portion of cheese; a rabbit hole; the Grand Canyon; the Piazza San Marco; the kangaroo-joey-containing hole of a kangaroo pouch; your left nostril (a fiat part - the opening - of your left nasal cavity); the lumen of your gut; the hold of a ship; the interior of the trunk of your car; hole in an engineered floor joist - - - - http://purl.obolibrary.org/obo/BFO_0000030 - 024-BFO - - - - http://purl.obolibrary.org/obo/BFO_0000030 - object - - - - http://purl.obolibrary.org/obo/BFO_0000030 - (Elucidation) An object is a material entity which manifests causal unity & is of a type instances of which are maximal relative to the sort of causal unity manifested - - - - http://purl.obolibrary.org/obo/BFO_0000030 - An organism; a fish tank; a planet; a laptop; a valve; a block of marble; an ice cube - - - - http://purl.obolibrary.org/obo/BFO_0000030 - A description of three primary sorts of causal unity is provided in Basic Formal Ontology 2.0. Specification and User Guide - - - - http://purl.obolibrary.org/obo/BFO_0000031 - 074-BFO - - - - http://purl.obolibrary.org/obo/BFO_0000031 - generically dependent continuant - - - - http://purl.obolibrary.org/obo/BFO_0000031 - g-dependent continuant - - - - http://purl.obolibrary.org/obo/BFO_0000031 - (Elucidation) A generically dependent continuant is an entity that exists in virtue of the fact that there is at least one of what may be multiple copies which is the content or the pattern that multiple copies would share - - - - http://purl.obolibrary.org/obo/BFO_0000031 - The pdf file on your laptop; the pdf file that is a copy thereof on my laptop; the sequence of this protein molecule; the sequence that is a copy thereof in that protein molecule; the content that is shared by a string of dots and dashes written on a page and the transmitted Morse code signal; the content of a sentence; an engineering blueprint - - - - http://purl.obolibrary.org/obo/BFO_0000034 - 064-BFO - - - - http://purl.obolibrary.org/obo/BFO_0000034 - function - - - - http://purl.obolibrary.org/obo/BFO_0000034 - (Elucidation) A function is a disposition that exists in virtue of its bearer's physical make-up & this physical make-up is something the bearer possesses because it came into being either through evolution (in the case of natural biological entities) or through intentional design (in the case of artefacts) in order to realize processes of a certain sort - - - - http://purl.obolibrary.org/obo/BFO_0000034 - The function of a hammer to drive in nails; the function of a heart pacemaker to regulate the beating of a heart through electricity - - - - http://purl.obolibrary.org/obo/BFO_0000035 - 084-BFO - - - - http://purl.obolibrary.org/obo/BFO_0000035 - process boundary - - - - http://purl.obolibrary.org/obo/BFO_0000035 - p is a process boundary =Def p is a temporal part of a process & p has no proper temporal parts - - - - http://purl.obolibrary.org/obo/BFO_0000035 - The boundary between the 2nd and 3rd year of your life - - - - http://purl.obolibrary.org/obo/BFO_0000038 - 103-BFO - - - - http://purl.obolibrary.org/obo/BFO_0000038 - one-dimensional temporal region - - - - http://purl.obolibrary.org/obo/BFO_0000038 - (Elucidation) A one-dimensional temporal region is a temporal region that is a whole that has a temporal interval and zero or more temporal intervals and temporal instants as parts - - - - http://purl.obolibrary.org/obo/BFO_0000038 - The temporal region during which a process occurs - - - - http://purl.obolibrary.org/obo/BFO_0000040 - 019-BFO - - - - http://purl.obolibrary.org/obo/BFO_0000040 - material entity - - - - http://purl.obolibrary.org/obo/BFO_0000040 - (Elucidation) A material entity is an independent continuant has some portion of matter as continuant part - - - - http://purl.obolibrary.org/obo/BFO_0000040 - A human being; the undetached arm of a human being; an aggregate of human beings - - - - http://purl.obolibrary.org/obo/BFO_0000054 - 206-BFO - - - - http://purl.obolibrary.org/obo/BFO_0000054 - has realization - - - - http://purl.obolibrary.org/obo/BFO_0000054 - realized in - - - - http://purl.obolibrary.org/obo/BFO_0000054 - b has realization c =Def c realizes b - - - - http://purl.obolibrary.org/obo/BFO_0000054 - As for realizes - - - - http://purl.obolibrary.org/obo/BFO_0000055 - 059-BFO - - - - http://purl.obolibrary.org/obo/BFO_0000055 - realizes - - - - http://purl.obolibrary.org/obo/BFO_0000055 - (Elucidation) realizes is a relation between a process b and realizable entity c such that c inheres in some d & for all t, if b has participant d then c exists & the type instantiated by b is correlated with the type instantiated by c - - - - http://purl.obolibrary.org/obo/BFO_0000055 - A balding process realizes a disposition to go bald; a studying process realizes a student role; a process of pumping blood realizes the pumping function of a heart - - - - http://purl.obolibrary.org/obo/BFO_0000055 - Users that require more sophisticated representations of time are encouraged to import a temporal extension of BFO-Core provided by the BFO development team. See documentation for guidance: <Link> - - - - http://purl.obolibrary.org/obo/BFO_0000056 - 250-BFO - - - - http://purl.obolibrary.org/obo/BFO_0000056 - participates in - - - - http://purl.obolibrary.org/obo/BFO_0000056 - (Elucidation) participates in holds between some b that is either a specifically dependent continuant or generically dependent continuant or independent continuant that is not a spatial region & some process p such that b participates in p some way - - - - http://purl.obolibrary.org/obo/BFO_0000056 - Users that require more sophisticated representations of time are encouraged to import a temporal extension of BFO-Core provided by the BFO development team. See documentation for guidance: <Link> - - - - http://purl.obolibrary.org/obo/BFO_0000057 - 248-BFO - - - - http://purl.obolibrary.org/obo/BFO_0000057 - has participant - - - - http://purl.obolibrary.org/obo/BFO_0000057 - p has participant c =Def c participates in p - - - - http://purl.obolibrary.org/obo/BFO_0000057 - Users that require more sophisticated representations of time are encouraged to import a temporal extension of BFO-Core provided by the BFO development team. See documentation for guidance: <Link> - - - - http://purl.obolibrary.org/obo/BFO_0000058 - 258-BFO - - - - http://purl.obolibrary.org/obo/BFO_0000058 - is concretized by - - - - http://purl.obolibrary.org/obo/BFO_0000058 - c is concretized by b =Def b concretizes c - - - - http://purl.obolibrary.org/obo/BFO_0000058 - Users that require more sophisticated representations of time are encouraged to import a temporal extension of BFO-Core provided by the BFO development team. See documentation for guidance: <Link> - - - - http://purl.obolibrary.org/obo/BFO_0000059 - 256-BFO - - - - http://purl.obolibrary.org/obo/BFO_0000059 - concretizes - - - - http://purl.obolibrary.org/obo/BFO_0000059 - b concretizes c =Def b is a process or a specifically dependent continuant & c is a generically dependent continuant & there is some time t such that c is the pattern or content which b shares at t with actual or potential copies - - - - http://purl.obolibrary.org/obo/BFO_0000059 - Users that require more sophisticated representations of time are encouraged to import a temporal extension of BFO-Core provided by the BFO development team. See documentation for guidance: <Link> - - - - http://purl.obolibrary.org/obo/BFO_0000062 - 213-BFO - - - - http://purl.obolibrary.org/obo/BFO_0000062 - preceded by - - - - http://purl.obolibrary.org/obo/BFO_0000062 - b preceded by c =Def b precedes c - - - - http://purl.obolibrary.org/obo/BFO_0000062 - The temporal region occupied by the second half of the match is preceded by the temporal region occupied by the first half of the match - - - - http://purl.obolibrary.org/obo/BFO_0000063 - 270-BFO - - - - http://purl.obolibrary.org/obo/BFO_0000063 - precedes - - - - http://purl.obolibrary.org/obo/BFO_0000063 - (Elucidation) precedes is a relation between occurrents o, o' such that if t is the temporal extent of o & t' is the temporal extent of o' then either the last instant of o is before the first instant of o' or the last instant of o is the first instant of o' & neither o nor o' are temporal instants - - - - http://purl.obolibrary.org/obo/BFO_0000063 - The temporal region occupied by Mary's birth precedes the temporal region occupied by Mary's death. - - - - http://purl.obolibrary.org/obo/BFO_0000063 - Each temporal region is its own temporal extent. The temporal extent of a spatiotemporal region is the temporal region it temporally projects onto. The temporal extent of a process or process boundary that occupies temporal region t is t. - - - - http://purl.obolibrary.org/obo/BFO_0000063 - Precedes defines a strict partial order on occurrents. - - - - http://purl.obolibrary.org/obo/BFO_0000066 - 143-BFO - - - - http://purl.obolibrary.org/obo/BFO_0000066 - occurs in - - - - http://purl.obolibrary.org/obo/BFO_0000066 - b occurs in c =Def b is a process or a process boundary & c is a material entity or site & there exists a spatiotemporal region r & b occupies spatiotemporal region r & for all time 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 occupies spatial region s' at t & s is a continuant part of s' at t - - - - http://purl.obolibrary.org/obo/BFO_0000066 - A process of digestion occurs in the interior of an organism; a process of loading artillery rounds into a tank cannon occurs in the interior of the tank - - - - http://purl.obolibrary.org/obo/BFO_0000084 - 252-BFO - - - - http://purl.obolibrary.org/obo/BFO_0000084 - generically depends on - - - - http://purl.obolibrary.org/obo/BFO_0000084 - g-depends on - - - - http://purl.obolibrary.org/obo/BFO_0000084 - b generically depends on c =Def b is a generically dependent continuant & c is an independent continuant that is not a spatial region & at some time t there inheres in c a specifically dependent continuant which concretizes b at t - - - - http://purl.obolibrary.org/obo/BFO_0000084 - Users that require more sophisticated representations of time are encouraged to import a temporal extension of BFO-Core provided by the BFO development team. See documentation for guidance: <Link> - - - - http://purl.obolibrary.org/obo/BFO_0000101 - 254-BFO - - - - http://purl.obolibrary.org/obo/BFO_0000101 - is carrier of - - - - http://purl.obolibrary.org/obo/BFO_0000101 - b is carrier of c =Def there is some time t such that c generically depends on b at t - - - - http://purl.obolibrary.org/obo/BFO_0000101 - Users that require more sophisticated representations of time are encouraged to import a temporal extension of BFO-Core provided by the BFO development team. See documentation for guidance: <Link> - - - - http://purl.obolibrary.org/obo/BFO_0000108 - 118-BFO - - - - http://purl.obolibrary.org/obo/BFO_0000108 - exists at - - - - http://purl.obolibrary.org/obo/BFO_0000108 - (Elucidation) exists at is a relation between a particular and some temporal region at which the particular exists - - - - http://purl.obolibrary.org/obo/BFO_0000108 - First World War exists at 1914-1916; Mexico exists at January 1, 2000 - - - - http://purl.obolibrary.org/obo/BFO_0000115 - 230-BFO - - - - http://purl.obolibrary.org/obo/BFO_0000115 - has member part - - - - http://purl.obolibrary.org/obo/BFO_0000115 - b has member part c =Def c member part of b - - - - http://purl.obolibrary.org/obo/BFO_0000115 - Users that require more sophisticated representations of time are encouraged to import a temporal extension of BFO-Core provided by the BFO development team. See documentation for guidance: <Link> - - - - http://purl.obolibrary.org/obo/BFO_0000117 - 202-BFO - - - - http://purl.obolibrary.org/obo/BFO_0000117 - has occurrent part - - - - http://purl.obolibrary.org/obo/BFO_0000117 - b has occurrent part c =Def c occurrent part of b - - - - http://purl.obolibrary.org/obo/BFO_0000117 - Mary's life has occurrent part Mary's 5th birthday - - - - http://purl.obolibrary.org/obo/BFO_0000121 - 211-BFO - - - - http://purl.obolibrary.org/obo/BFO_0000121 - has temporal part - - - - http://purl.obolibrary.org/obo/BFO_0000121 - b has temporal part c =Def c temporal part of b - - - - http://purl.obolibrary.org/obo/BFO_0000121 - Your life has temporal part the first year of your life - - - - http://purl.obolibrary.org/obo/BFO_0000124 - 236-BFO - - - - http://purl.obolibrary.org/obo/BFO_0000124 - location of - - - - http://purl.obolibrary.org/obo/BFO_0000124 - b location of c =Def c located in b - - - - http://purl.obolibrary.org/obo/BFO_0000124 - Users that require more sophisticated representations of time are encouraged to import a temporal extension of BFO-Core provided by the BFO development team. See documentation for guidance: <Link> - - - - http://purl.obolibrary.org/obo/BFO_0000127 - 244-BFO - - - - http://purl.obolibrary.org/obo/BFO_0000127 - material basis of - - - - http://purl.obolibrary.org/obo/BFO_0000127 - b material basis of c =Def c has material basis b - - - - http://purl.obolibrary.org/obo/BFO_0000127 - Users that require more sophisticated representations of time are encouraged to import a temporal extension of BFO-Core provided by the BFO development team. See documentation for guidance: <Link> - - - - http://purl.obolibrary.org/obo/BFO_0000129 - 228-BFO - - - - http://purl.obolibrary.org/obo/BFO_0000129 - member part of - - - - http://purl.obolibrary.org/obo/BFO_0000129 - b member part of c =Def b is an object & c is a material entity & there is some time t such that b continuant part of c at t & there is a mutually exhaustive and pairwise disjoint partition of c into objects x1, ..., xn (for some n ≠ 1) with b = xi (for some 1 <= i <= n) - - - - http://purl.obolibrary.org/obo/BFO_0000129 - Users that require more sophisticated representations of time are encouraged to import a temporal extension of BFO-Core provided by the BFO development team. See documentation for guidance: <Link> - - - - http://purl.obolibrary.org/obo/BFO_0000132 - 003-BFO - - - - http://purl.obolibrary.org/obo/BFO_0000132 - occurrent part of - - - - http://purl.obolibrary.org/obo/BFO_0000132 - (Elucidation) occurrent part of is a relation between occurrents b and c when b is part of c - - - - http://purl.obolibrary.org/obo/BFO_0000132 - Mary's 5th birthday is an occurrent part of Mary's life; the first set of the tennis match is an occurrent part of the tennis match - - - - http://purl.obolibrary.org/obo/BFO_0000139 - 078-BFO - - - - http://purl.obolibrary.org/obo/BFO_0000139 - temporal part of - - - - http://purl.obolibrary.org/obo/BFO_0000139 - b temporal part of c =Def b occurrent part of c & (b and c are temporal regions) or (b and c are spatiotemporal regions & b temporally projects onto an occurrent part of the temporal region that c temporally projects onto) or (b and c are processes or process boundaries & b occupies a temporal region that is an occurrent part of the temporal region that c occupies) - - - - http://purl.obolibrary.org/obo/BFO_0000139 - Your heart beating from 4pm to 5pm today is a temporal part of the process of your heart beating; the 4th year of your life is a temporal part of your life, as is the process boundary which separates the 3rd and 4th years of your life; the first quarter of a game of football is a temporal part of the whole game - - - - http://purl.obolibrary.org/obo/BFO_0000140 - 029-BFO - - - - http://purl.obolibrary.org/obo/BFO_0000140 - continuant fiat boundary - - - - http://purl.obolibrary.org/obo/BFO_0000140 - (Elucidation) A continuant fiat boundary b is an immaterial entity that is of zero, one or two dimensions & such that there is no time t when b has a spatial region as continuant part & whose location is determined in relation to some material entity - - - - http://purl.obolibrary.org/obo/BFO_0000140 - As for fiat point, fiat line, fiat surface - - - - http://purl.obolibrary.org/obo/BFO_0000141 - 028-BFO - - - - http://purl.obolibrary.org/obo/BFO_0000141 - immaterial entity - - - - http://purl.obolibrary.org/obo/BFO_0000141 - b is an immaterial entity =Def b is an independent continuant which is such that there is no time t when it has a material entity as continuant part - - - - http://purl.obolibrary.org/obo/BFO_0000141 - As for fiat point, fiat line, fiat surface, site - - - - http://purl.obolibrary.org/obo/BFO_0000142 - 032-BFO - - - - http://purl.obolibrary.org/obo/BFO_0000142 - fiat line - - - - http://purl.obolibrary.org/obo/BFO_0000142 - (Elucidation) A fiat line is a one-dimensional continuant fiat boundary that is continuous - - - - http://purl.obolibrary.org/obo/BFO_0000142 - The Equator; all geopolitical boundaries; all lines of latitude and longitude; the median sulcus of your tongue; the line separating the outer surface of the mucosa of the lower lip from the outer surface of the skin of the chin - - - - http://purl.obolibrary.org/obo/BFO_0000145 - 057-BFO - - - - http://purl.obolibrary.org/obo/BFO_0000145 - relational quality - - - - http://purl.obolibrary.org/obo/BFO_0000145 - b is a relational quality =Def b is a quality & there exists c and d such that c and d are not identical & b specifically depends on c & b specifically depends on d - - - - http://purl.obolibrary.org/obo/BFO_0000145 - A marriage bond; an instance of love; an obligation between one person and another - - - - http://purl.obolibrary.org/obo/BFO_0000146 - 033-BFO - - - - http://purl.obolibrary.org/obo/BFO_0000146 - fiat surface - - - - http://purl.obolibrary.org/obo/BFO_0000146 - (Elucidation) A fiat surface is a two-dimensional continuant fiat boundary that is self-connected - - - - http://purl.obolibrary.org/obo/BFO_0000146 - The surface of the Earth; the plane separating the smoking from the non-smoking zone in a restaurant - - - - http://purl.obolibrary.org/obo/BFO_0000147 - 031-BFO - - - - http://purl.obolibrary.org/obo/BFO_0000147 - fiat point - - - - http://purl.obolibrary.org/obo/BFO_0000147 - (Elucidation) A fiat point is a zero-dimensional continuant fiat boundary that consists of a single point - - - - http://purl.obolibrary.org/obo/BFO_0000147 - The geographic North Pole; the quadripoint where the boundaries of Colorado, Utah, New Mexico and Arizona meet; the point of origin of some spatial coordinate system - - - - http://purl.obolibrary.org/obo/BFO_0000148 - 102-BFO - - - - http://purl.obolibrary.org/obo/BFO_0000148 - zero-dimensional temporal region - - - - http://purl.obolibrary.org/obo/BFO_0000148 - (Elucidation) A zero-dimensional temporal region is a temporal region that is a whole consisting of one or more separated temporal instants as parts - - - - http://purl.obolibrary.org/obo/BFO_0000148 - A temporal region that is occupied by a process boundary; the moment at which a finger is detached in an industrial accident - - - - http://purl.obolibrary.org/obo/BFO_0000153 - 080-BFO - - - - http://purl.obolibrary.org/obo/BFO_0000153 - temporally projects onto - - - - http://purl.obolibrary.org/obo/BFO_0000153 - (Elucidation) temporally projects onto is a relation between a spatiotemporal region s and some temporal region which is the temporal extent of s - - - - http://purl.obolibrary.org/obo/BFO_0000153 - The world line of a particle temporally projects onto the temporal region extending from the beginning to the end of the existence of the particle - - - - http://purl.obolibrary.org/obo/BFO_0000171 - 234-BFO - - - - http://purl.obolibrary.org/obo/BFO_0000171 - located in - - - - http://purl.obolibrary.org/obo/BFO_0000171 - b located in c =Def b is an independent continuant & c is an independent & neither is a spatial region & there is some time t such that the spatial region which b occupies at t is continuant part of the spatial region which c occupies at t - - - - http://purl.obolibrary.org/obo/BFO_0000171 - Users that require more sophisticated representations of time are encouraged to import a temporal extension of BFO-Core provided by the BFO development team. See documentation for guidance: <Link> - - - - http://purl.obolibrary.org/obo/BFO_0000176 - 221-BFO - - - - http://purl.obolibrary.org/obo/BFO_0000176 - continuant part of - - - - http://purl.obolibrary.org/obo/BFO_0000176 - b continuant part of c =Def b and c are continuants & there is some time t such that b and c exist at t & b continuant part of c at t - - - - http://purl.obolibrary.org/obo/BFO_0000176 - Milk teeth continuant part of human; surgically removed tumour continuant part of organism - - - - http://purl.obolibrary.org/obo/BFO_0000176 - Users that require more sophisticated representations of time are encouraged to import a temporal extension of BFO-Core provided by the BFO development team. See documentation for guidance: <Link> - - - - http://purl.obolibrary.org/obo/BFO_0000178 - 271-BFO - - - - http://purl.obolibrary.org/obo/BFO_0000178 - has continuant part - - - - http://purl.obolibrary.org/obo/BFO_0000178 - b has continuant part c =Def c continuant part of b - - - - http://purl.obolibrary.org/obo/BFO_0000178 - Users that require more sophisticated representations of time are encouraged to import a temporal extension of BFO-Core provided by the BFO development team. See documentation for guidance: <Link> - - - - http://purl.obolibrary.org/obo/BFO_0000182 - 138-BFO - - - - http://purl.obolibrary.org/obo/BFO_0000182 - history - - - - http://purl.obolibrary.org/obo/BFO_0000182 - (Elucidation) A history is a process that is the sum of the totality of processes taking place in the spatiotemporal region occupied by the material part of a material entity - - - - http://purl.obolibrary.org/obo/BFO_0000182 - The life of an organism from the beginning to the end of its existence - - - - http://purl.obolibrary.org/obo/BFO_0000183 - 267-BFO - - - - http://purl.obolibrary.org/obo/BFO_0000183 - environs - - - - http://purl.obolibrary.org/obo/BFO_0000183 - contains process - - - - http://purl.obolibrary.org/obo/BFO_0000183 - b environs c =Def c occurs in b - - - - http://purl.obolibrary.org/obo/BFO_0000183 - Mouth environs process of mastication; city environs traffic - - - - http://purl.obolibrary.org/obo/BFO_0000184 - 144-BFO - - - - http://purl.obolibrary.org/obo/BFO_0000184 - history of - - - - http://purl.obolibrary.org/obo/BFO_0000184 - (Elucidation) history of is a relation between history b and material entity c such that b is the unique history of c - - - - http://purl.obolibrary.org/obo/BFO_0000184 - This life is the history of this organism - - - - http://purl.obolibrary.org/obo/BFO_0000185 - 145-BFO - - - - http://purl.obolibrary.org/obo/BFO_0000185 - has history - - - - http://purl.obolibrary.org/obo/BFO_0000185 - b has history c =Def c history of b - - - - http://purl.obolibrary.org/obo/BFO_0000185 - This organism has history this life - - - - http://purl.obolibrary.org/obo/BFO_0000194 - 260-BFO - - - - http://purl.obolibrary.org/obo/BFO_0000194 - specifically depended on by - - - - http://purl.obolibrary.org/obo/BFO_0000194 - s-depended on by - - - - http://purl.obolibrary.org/obo/BFO_0000194 - b specifically depended on by c =Def c specifically depends on b - - - - http://purl.obolibrary.org/obo/BFO_0000194 - Coloured object specifically depended on by colour - - - - http://purl.obolibrary.org/obo/BFO_0000195 - 012-BFO - - - - http://purl.obolibrary.org/obo/BFO_0000195 - specifically depends on - - - - http://purl.obolibrary.org/obo/BFO_0000195 - s-depends on - - - - http://purl.obolibrary.org/obo/BFO_0000195 - (Elucidation) specifically depends on is a relation between a specifically dependent continuant b and specifically dependent continuant or independent continuant that is not a spatial region c such that b and c share no parts in common & b is of a nature such that at all times t it cannot exist unless c exists & b is not a boundary of c - - - - http://purl.obolibrary.org/obo/BFO_0000195 - A shape specifically depends on the shaped object; hue, saturation and brightness of a colour sample specifically depends on each other - - - - http://purl.obolibrary.org/obo/BFO_0000195 - The analogue of specifically depends on for occurrents is has participant. - - - - http://purl.obolibrary.org/obo/BFO_0000196 - 053-BFO - - - - http://purl.obolibrary.org/obo/BFO_0000196 - bearer of - - - - http://purl.obolibrary.org/obo/BFO_0000196 - b bearer of c =Def c inheres in b - - - - http://purl.obolibrary.org/obo/BFO_0000196 - A patch of ink is the bearer of a colour quality; an organism is the bearer of a temperature quality - - - - http://purl.obolibrary.org/obo/BFO_0000197 - 051-BFO - - - - http://purl.obolibrary.org/obo/BFO_0000197 - inheres in - - - - http://purl.obolibrary.org/obo/BFO_0000197 - b inheres in c =Def b is a specifically dependent continuant & c is an independent continuant that is not a spatial region & b specifically depends on c - - - - http://purl.obolibrary.org/obo/BFO_0000197 - A shape inheres in a shaped object; a mass inheres in a material entity - - - - http://purl.obolibrary.org/obo/BFO_0000199 - 132-BFO - - - - http://purl.obolibrary.org/obo/BFO_0000199 - occupies temporal region - - - - http://purl.obolibrary.org/obo/BFO_0000199 - p occupies temporal region t =Def p is a process or process boundary & the spatiotemporal region occupied by p temporally projects onto t - - - - http://purl.obolibrary.org/obo/BFO_0000199 - The Second World War occupies the temporal region September 1, 1939 - September 2, 1945 - - - - http://purl.obolibrary.org/obo/BFO_0000200 - 082-BFO - - - - http://purl.obolibrary.org/obo/BFO_0000200 - occupies spatiotemporal region - - - - http://purl.obolibrary.org/obo/BFO_0000200 - (Elucidation) occupies spatiotemporal region is a relation between a process or process boundary p and the spatiotemporal region s which is its spatiotemporal extent - - - - http://purl.obolibrary.org/obo/BFO_0000200 - A particle emitted by a nuclear reactor occupies the spatiotemporal region which is its trajectory - - - - http://purl.obolibrary.org/obo/BFO_0000202 - 155-BFO - - - - http://purl.obolibrary.org/obo/BFO_0000202 - temporal interval - - - - http://purl.obolibrary.org/obo/BFO_0000202 - (Elucidation) A temporal interval is a one-dimensional temporal region that is continuous, thus without gaps or breaks - - - - http://purl.obolibrary.org/obo/BFO_0000202 - The year 2018. - - - - http://purl.obolibrary.org/obo/BFO_0000202 - A one-dimensional temporal region can include as parts not only temporal intervals but also temporal instants separated from other parts by gaps. - - - - http://purl.obolibrary.org/obo/BFO_0000203 - 209-BFO - - - - http://purl.obolibrary.org/obo/BFO_0000203 - temporal instant - - - - http://purl.obolibrary.org/obo/BFO_0000203 - (Elucidation) A temporal instant is a zero-dimensional temporal region that has no proper temporal part - - - - http://purl.obolibrary.org/obo/BFO_0000203 - The millennium - - - - http://purl.obolibrary.org/obo/BFO_0000210 - 232-BFO - - - - http://purl.obolibrary.org/obo/BFO_0000210 - occupies spatial region - - - - http://purl.obolibrary.org/obo/BFO_0000210 - b occupies spatial region r =Def b is an independent continuant that is not a spatial region & r is a spatial region & there is some time t such that every continuant part of b occupies some continuant part of r at t and no continuant part of b occupies any spatial region that is not a continuant part of r at t - - - - http://purl.obolibrary.org/obo/BFO_0000210 - Users that require more sophisticated representations of time are encouraged to import a temporal extension of BFO-Core provided by the BFO development team. See documentation for guidance: <Link> - - - - http://purl.obolibrary.org/obo/BFO_0000216 - 246-BFO - - - - http://purl.obolibrary.org/obo/BFO_0000216 - spatially projects onto - - - - http://purl.obolibrary.org/obo/BFO_0000216 - (Elucidation) spatially projects onto is a relation between some spatiotemporal region b and spatial region c such that at some time t, c is the spatial extent of b at t - - - - http://purl.obolibrary.org/obo/BFO_0000216 - Users that require more sophisticated representations of time are encouraged to import a temporal extension of BFO-Core provided by the BFO development team. See documentation for guidance: <Link> - - - - http://purl.obolibrary.org/obo/BFO_0000218 - 242-BFO - - - - http://purl.obolibrary.org/obo/BFO_0000218 - has material basis - - - - http://purl.obolibrary.org/obo/BFO_0000218 - b has material basis c =Def b is a disposition & c is a material entity & there is some d bearer of b & there is some time t such that c is a continuant part of d at t & d has disposition b because c is a continuant part of d at t - - - - http://purl.obolibrary.org/obo/BFO_0000218 - Users that require more sophisticated representations of time are encouraged to import a temporal extension of BFO-Core provided by the BFO development team. See documentation for guidance: <Link> - - - - http://purl.obolibrary.org/obo/BFO_0000221 - 268-BFO - - - - http://purl.obolibrary.org/obo/BFO_0000221 - first instant of - - - - http://purl.obolibrary.org/obo/BFO_0000221 - t first instant of t' =Def t is a temporal instant & t' is a temporal region t' & t precedes all temporal parts of t' other than t - - - - http://purl.obolibrary.org/obo/BFO_0000221 - An hour starting at midnight yesterday has first instant midnight yesterday - - - - http://purl.obolibrary.org/obo/BFO_0000222 - 261-BFO - - - - http://purl.obolibrary.org/obo/BFO_0000222 - has first instant - - - - http://purl.obolibrary.org/obo/BFO_0000222 - t has first instant t' =Def t' first instant of t - - - - http://purl.obolibrary.org/obo/BFO_0000222 - The first hour of a year has first instant midnight on December 31 - - - - http://purl.obolibrary.org/obo/BFO_0000223 - 269-BFO - - - - http://purl.obolibrary.org/obo/BFO_0000223 - last instant of - - - - http://purl.obolibrary.org/obo/BFO_0000223 - t last instant of t' =Def t is a temporal instant & t' is a temporal region & all temporal parts of t' other than t precede t - - - - http://purl.obolibrary.org/obo/BFO_0000223 - Last midnight is the last instant of yesterday - - - - http://purl.obolibrary.org/obo/BFO_0000224 - 215-BFO - - - - http://purl.obolibrary.org/obo/BFO_0000224 - has last instant - - - - http://purl.obolibrary.org/obo/BFO_0000224 - t has last instant t' =Def t' last instant of t - - - - http://purl.obolibrary.org/obo/BFO_0000224 - The last hour of a year has last instant midnight December 31 - - - - - - + xmlns:dc="http://purl.org/dc/terms/"> + + + Mathias Brochhausen + Ron Rudnicki + BFO 2020 + Janna Hastings + Leonard Jacuzzo + Randall Dipert + Barry Smith + Larry Hunter + Stefan Schulz + Werner Ceusters + + Jonathan Bona + Robert Rovetto + Albert Goldfain + Yongqun "Oliver" He + Bjoern Peters + Melanie Courtot + Alan Ruttenberg + Bill Duncan + Ludger Jansen + Thomas Bittner + Basic Formal Ontology implemented in the Web Ontology Language (OWL 2) with direct semantics. + Chris Mungall + Jie Zheng + John Beverley + Mauricio Almeida + Mark Ressler + The most recent version of this file will always be in the GitHub repository https://github.com/bfo-ontology/bfo-2020 + Mark Jensen + Neil Otte + David Osumi-Sutherland + Pierre Grenon + James A. Overton + Fabian Neuhaus + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + 206-BFO + has realization + realized in + b has realization c =Def c realizes b + As for realizes + + + + + + + + + + 059-BFO + realizes + (Elucidation) realizes is a relation between a process b and realizable entity c such that c inheres in some d & for all t, if b has participant d then c exists & the type instantiated by b is correlated with the type instantiated by c + A balding process realizes a disposition to go bald; a studying process realizes a student role; a process of pumping blood realizes the pumping function of a heart + Users that require more sophisticated representations of time are encouraged to import a temporal extension of BFO-Core provided by the BFO development team. See documentation for guidance: <Link> + + + + + + + + + + + + + + + + + + + + + + + + + + 250-BFO + participates in + (Elucidation) participates in holds between some b that is either a specifically dependent continuant or generically dependent continuant or independent continuant that is not a spatial region & some process p such that b participates in p some way + Users that require more sophisticated representations of time are encouraged to import a temporal extension of BFO-Core provided by the BFO development team. See documentation for guidance: <Link> + + + + + + + + + + + + + + + + + + + + + + + + + 248-BFO + has participant + p has participant c =Def c participates in p + Users that require more sophisticated representations of time are encouraged to import a temporal extension of BFO-Core provided by the BFO development team. See documentation for guidance: <Link> + + + + + + + + + + + + + + + + + + 258-BFO + is concretized by + c is concretized by b =Def b concretizes c + Users that require more sophisticated representations of time are encouraged to import a temporal extension of BFO-Core provided by the BFO development team. See documentation for guidance: <Link> + + + + + + + + + + + + + + + + + 256-BFO + concretizes + b concretizes c =Def b is a process or a specifically dependent continuant & c is a generically dependent continuant & there is some time t such that c is the pattern or content which b shares at t with actual or potential copies + Users that require more sophisticated representations of time are encouraged to import a temporal extension of BFO-Core provided by the BFO development team. See documentation for guidance: <Link> + + + + + + + + + + + + 213-BFO + preceded by + b preceded by c =Def b precedes c + The temporal region occupied by the second half of the match is preceded by the temporal region occupied by the first half of the match + + + + + + + + + + + 270-BFO + precedes + (Elucidation) precedes is a relation between occurrents o, o' such that if t is the temporal extent of o & t' is the temporal extent of o' then either the last instant of o is before the first instant of o' or the last instant of o is the first instant of o' & neither o nor o' are temporal instants + The temporal region occupied by Mary's birth precedes the temporal region occupied by Mary's death. + Each temporal region is its own temporal extent. The temporal extent of a spatiotemporal region is the temporal region it temporally projects onto. The temporal extent of a process or process boundary that occupies temporal region t is t. + Precedes defines a strict partial order on occurrents. + + + + + + + + + + + + + + + + + + + + + + + + + 143-BFO + occurs in + b occurs in c =Def b is a process or a process boundary & c is a material entity or site & there exists a spatiotemporal region r & b occupies spatiotemporal region r & for all time 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 occupies spatial region s' at t & s is a continuant part of s' at t + A process of digestion occurs in the interior of an organism; a process of loading artillery rounds into a tank cannon occurs in the interior of the tank + + + + + + + + + + + + + + + + + + + + 252-BFO + generically depends on + g-depends on + b generically depends on c =Def b is a generically dependent continuant & c is an independent continuant that is not a spatial region & at some time t there inheres in c a specifically dependent continuant which concretizes b at t + Users that require more sophisticated representations of time are encouraged to import a temporal extension of BFO-Core provided by the BFO development team. See documentation for guidance: <Link> + + + + + + + + + + + + + + + + + + + 254-BFO + is carrier of + b is carrier of c =Def there is some time t such that c generically depends on b at t + Users that require more sophisticated representations of time are encouraged to import a temporal extension of BFO-Core provided by the BFO development team. See documentation for guidance: <Link> + + + + + + + + + + 118-BFO + exists at + (Elucidation) exists at is a relation between a particular and some temporal region at which the particular exists + First World War exists at 1914-1916; Mexico exists at January 1, 2000 + + + + + + + + + + + + 230-BFO + has member part + b has member part c =Def c member part of b + Users that require more sophisticated representations of time are encouraged to import a temporal extension of BFO-Core provided by the BFO development team. See documentation for guidance: <Link> + + + + + + + + + + + + 202-BFO + has occurrent part + b has occurrent part c =Def c occurrent part of b + Mary's life has occurrent part Mary's 5th birthday + + + + + + + + + + + + + 211-BFO + has temporal part + b has temporal part c =Def c temporal part of b + Your life has temporal part the first year of your life + + + + + + + + + + + + + + + + + + + + + + + + + + + + + 236-BFO + location of + b location of c =Def c located in b + Users that require more sophisticated representations of time are encouraged to import a temporal extension of BFO-Core provided by the BFO development team. See documentation for guidance: <Link> + + + + + + + + + + + 244-BFO + material basis of + b material basis of c =Def c has material basis b + Users that require more sophisticated representations of time are encouraged to import a temporal extension of BFO-Core provided by the BFO development team. See documentation for guidance: <Link> + + + + + + + + + + + 228-BFO + member part of + b member part of c =Def b is an object & c is a material entity & there is some time t such that b continuant part of c at t & there is a mutually exhaustive and pairwise disjoint partition of c into objects x1, ..., xn (for some n ≠ 1) with b = xi (for some 1 <= i <= n) + Users that require more sophisticated representations of time are encouraged to import a temporal extension of BFO-Core provided by the BFO development team. See documentation for guidance: <Link> + + + + + + + + + + + 003-BFO + occurrent part of + (Elucidation) occurrent part of is a relation between occurrents b and c when b is part of c + Mary's 5th birthday is an occurrent part of Mary's life; the first set of the tennis match is an occurrent part of the tennis match + + + + + + + + + + + + 078-BFO + temporal part of + b temporal part of c =Def b occurrent part of c & (b and c are temporal regions) or (b and c are spatiotemporal regions & b temporally projects onto an occurrent part of the temporal region that c temporally projects onto) or (b and c are processes or process boundaries & b occupies a temporal region that is an occurrent part of the temporal region that c occupies) + Your heart beating from 4pm to 5pm today is a temporal part of the process of your heart beating; the 4th year of your life is a temporal part of your life, as is the process boundary which separates the 3rd and 4th years of your life; the first quarter of a game of football is a temporal part of the whole game + + + + + + + + + + + 080-BFO + temporally projects onto + (Elucidation) temporally projects onto is a relation between a spatiotemporal region s and some temporal region which is the temporal extent of s + The world line of a particle temporally projects onto the temporal region extending from the beginning to the end of the existence of the particle + + + + + + + + + + + + + + + + + + + + + + + + + + + + 234-BFO + located in + b located in c =Def b is an independent continuant & c is an independent & neither is a spatial region & there is some time t such that the spatial region which b occupies at t is continuant part of the spatial region which c occupies at t + Users that require more sophisticated representations of time are encouraged to import a temporal extension of BFO-Core provided by the BFO development team. See documentation for guidance: <Link> + + + + + + + + + + + 221-BFO + continuant part of + b continuant part of c =Def b and c are continuants & there is some time t such that b and c exist at t & b continuant part of c at t + Milk teeth continuant part of human; surgically removed tumour continuant part of organism + Users that require more sophisticated representations of time are encouraged to import a temporal extension of BFO-Core provided by the BFO development team. See documentation for guidance: <Link> + + + + + + + + + + 271-BFO + has continuant part + b has continuant part c =Def c continuant part of b + Users that require more sophisticated representations of time are encouraged to import a temporal extension of BFO-Core provided by the BFO development team. See documentation for guidance: <Link> + + + + + + + + + + + + + + + + + + + + + + + + 267-BFO + environs + contains process + b environs c =Def c occurs in b + Mouth environs process of mastication; city environs traffic + + + + + + + + + + + + + 144-BFO + history of + (Elucidation) history of is a relation between history b and material entity c such that b is the unique history of c + This life is the history of this organism + + + + + + + + + + 145-BFO + has history + b has history c =Def c history of b + This organism has history this life + + + + + + + + + + + + + + + + + + + + + + + + + 260-BFO + specifically depended on by + s-depended on by + b specifically depended on by c =Def c specifically depends on b + Coloured object specifically depended on by colour + + + + + + + + + + + + + + + + + + + + + + + + 012-BFO + specifically depends on + s-depends on + (Elucidation) specifically depends on is a relation between a specifically dependent continuant b and specifically dependent continuant or independent continuant that is not a spatial region c such that b and c share no parts in common & b is of a nature such that at all times t it cannot exist unless c exists & b is not a boundary of c + A shape specifically depends on the shaped object; hue, saturation and brightness of a colour sample specifically depends on each other + The analogue of specifically depends on for occurrents is has participant. + + + + + + + + + + + + + + + + + + + + + 053-BFO + bearer of + b bearer of c =Def c inheres in b + A patch of ink is the bearer of a colour quality; an organism is the bearer of a temperature quality + + + + + + + + + + + + + + + + + + + + 051-BFO + inheres in + b inheres in c =Def b is a specifically dependent continuant & c is an independent continuant that is not a spatial region & b specifically depends on c + A shape inheres in a shaped object; a mass inheres in a material entity + + + + + + + + + + + + + + + + + + 132-BFO + occupies temporal region + p occupies temporal region t =Def p is a process or process boundary & the spatiotemporal region occupied by p temporally projects onto t + The Second World War occupies the temporal region September 1, 1939 - September 2, 1945 + + + + + + + + + + + + + + + + + + 082-BFO + occupies spatiotemporal region + (Elucidation) occupies spatiotemporal region is a relation between a process or process boundary p and the spatiotemporal region s which is its spatiotemporal extent + A particle emitted by a nuclear reactor occupies the spatiotemporal region which is its trajectory + + + + + + + + + + + + + + + + + + + 232-BFO + occupies spatial region + b occupies spatial region r =Def b is an independent continuant that is not a spatial region & r is a spatial region & there is some time t such that every continuant part of b occupies some continuant part of r at t and no continuant part of b occupies any spatial region that is not a continuant part of r at t + Users that require more sophisticated representations of time are encouraged to import a temporal extension of BFO-Core provided by the BFO development team. See documentation for guidance: <Link> + + + + + + + + + + 246-BFO + spatially projects onto + (Elucidation) spatially projects onto is a relation between some spatiotemporal region b and spatial region c such that at some time t, c is the spatial extent of b at t + Users that require more sophisticated representations of time are encouraged to import a temporal extension of BFO-Core provided by the BFO development team. See documentation for guidance: <Link> + + + + + + + + + + 242-BFO + has material basis + b has material basis c =Def b is a disposition & c is a material entity & there is some d bearer of b & there is some time t such that c is a continuant part of d at t & d has disposition b because c is a continuant part of d at t + Users that require more sophisticated representations of time are encouraged to import a temporal extension of BFO-Core provided by the BFO development team. See documentation for guidance: <Link> + + + + + + + + + + + 268-BFO + first instant of + t first instant of t' =Def t is a temporal instant & t' is a temporal region t' & t precedes all temporal parts of t' other than t + An hour starting at midnight yesterday has first instant midnight yesterday + + + + + + + + + + + 261-BFO + has first instant + t has first instant t' =Def t' first instant of t + The first hour of a year has first instant midnight on December 31 + + + + + + + + + + + 269-BFO + last instant of + t last instant of t' =Def t is a temporal instant & t' is a temporal region & all temporal parts of t' other than t precede t + Last midnight is the last instant of yesterday + + + + + + + + + + + 215-BFO + has last instant + t has last instant t' =Def t' last instant of t + The last hour of a year has last instant midnight December 31 + + + + + + + + + + + + + 001-BFO + entity + (Elucidation) An entity is anything that exists or has existed or will exist + Julius Caesar; the Second World War; your body mass index; Verdi's Requiem + + + + + + + + + + + + + + + + 008-BFO + continuant + (Elucidation) A continuant is an entity that persists, endures, or continues to exist through time while maintaining its identity + A human being; a tennis ball; a cave; a region of space; someone's temperature + + + + + + + + + 077-BFO + occurrent + (Elucidation) An occurrent is an entity that unfolds itself in time or it is the start or end of such an entity or it is a temporal or spatiotemporal region + As for process, history, process boundary, spatiotemporal region, zero-dimensional temporal region, one-dimensional temporal region, temporal interval, temporal instant. + + + + + + + + + + + + + + + 017-BFO + independent continuant + b is an independent continuant =Def b is a continuant & there is no c such that b specifically depends on c or b generically depends on c + An atom; a molecule; an organism; a heart; a chair; the bottom right portion of a human torso; a leg; the interior of your mouth; a spatial region; an orchestra + + + + + + + + + + + + + + + 035-BFO + spatial region + (Elucidation) A spatial region is a continuant entity that is a continuant part of the spatial projection of a portion of spacetime at a given time + As for zero-dimensional spatial region, one-dimensional spatial region, two-dimensional spatial region, three-dimensional spatial region + + + + + + + + + + + + + + + + + + + + + 100-BFO + temporal region + (Elucidation) A temporal region is an occurrent over which processes can unfold + As for zero-dimensional temporal region and one-dimensional temporal region + + + + + + + + + + + + + + + + + + + + + + + 039-BFO + two-dimensional spatial region + (Elucidation) A two-dimensional spatial region is a spatial region that is a whole consisting of a surface together with zero or more surfaces which may have spatial regions of lower dimension as parts + The surface of a sphere-shaped part of space; an infinitely thin plane in space + + + + + + + + + + + + + + + + + + + + + 095-BFO + spatiotemporal region + (Elucidation) A spatiotemporal region is an occurrent that is an occurrent part of spacetime + The spatiotemporal region occupied by the development of a cancer tumour; the spatiotemporal region occupied by an orbiting satellite + 'Spacetime' here refers to the maximal instance of the universal spatiotemporal region. + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + 083-BFO + process + event + (Elucidation) p is a process means p is an occurrent that has some temporal proper part and for some time t, p has some material entity as participant + An act of selling; the life of an organism; a process of sleeping; a process of cell-division; a beating of the heart; a process of meiosis; the taxiing of an aircraft; the programming of a computer + + + + + + + + + + 062-BFO + disposition + internally-grounded realizable entity + (Elucidation) A disposition b is a realizable entity such that if b ceases to exist then its bearer is physically changed & b's realization occurs when and because this bearer is in some special physical circumstances & this realization occurs in virtue of the bearer's physical make-up + An atom of element X has the disposition to decay to an atom of element Y; the cell wall is disposed to transport cellular material through endocytosis and exocytosis; certain people have a predisposition to colon cancer; children are innately disposed to categorize objects in certain ways + + + + + + + + + + 058-BFO + realizable entity + (Elucidation) A realizable entity is a specifically dependent continuant that inheres in some independent continuant which is not a spatial region & which is of a type some instances of which are realized in processes of a correlated type + The role of being a doctor; the role of this boundary to delineate where Utah and Colorado meet; the function of your reproductive organs; the disposition of your blood to coagulate; the disposition of this piece of metal to conduct electricity + + + + + + + + + + + + + + + 037-BFO + zero-dimensional spatial region + (Elucidation) A zero-dimensional spatial region is one or a collection of more than one spatially disjoint points in space + The spatial region occupied at some time instant by the North Pole + + + + + + + + + 055-BFO + quality + (Elucidation) A quality is a specifically dependent continuant that, in contrast to roles and dispositions, does not require any further process in order to be realized + The colour of a tomato; the ambient temperature of this portion of air; the length of the circumference of your waist; the shape of your nose; the shape of your nostril; the mass of this piece of gold + + + + + + + + + 050-BFO + specifically dependent continuant + b is a specifically dependent continuant =Def b is a continuant & there is some independent continuant c which is not a spatial region & which is such that b specifically depends on c + (with multiple bearers) John's love for Mary; the ownership relation between John and this statue; the relation of authority between John and his subordinates + (with one bearer) The mass of this tomato; the pink colour of a medium rare piece of grilled filet mignon at its centre; the smell of this portion of mozzarella; the disposition of this fish to decay; the role of being a doctor; the function of this heart to pump blood; the shape of this hole + + + + + + + + + 061-BFO + role + externally-grounded realizable entity + (Elucidation) A role b is a realizable entity such that b exists because there is some single bearer that is in some special physical, social, or institutional set of circumstances in which this bearer does not have to be & b is not such that, if it ceases to exist, then the physical make-up of the bearer is thereby changed + The priest role; the student role; the role of subject in a clinical trial; the role of a stone in marking a property boundary; the role of a boundary to demarcate two neighbouring administrative territories; the role of a building in serving as a military target + + + + + + + + + 027-BFO + fiat object part + (Elucidation) A fiat object part b is a material entity & such that if b exists then it is continuant part of some object c & demarcated from the remainder of c by one or more fiat surfaces + The upper and lower lobes of the left lung; the dorsal and ventral surfaces of the body; the Western hemisphere of the Earth; the FMA:regional parts of an intact human body + + + + + + + + + + + + + + + + + + + + + + 038-BFO + one-dimensional spatial region + (Elucidation) A one-dimensional spatial region is a whole consisting of a line together with zero or more lines which may have points as parts + An edge of a cube-shaped portion of space; a line connecting two points; two parallel lines extended in space + + + + + + + + + 025-BFO + object aggregate + (Elucidation) An object aggregate is a material entity consisting exactly of a plurality (≥1) of objects as member parts which together form a unit + The aggregate of the musicians in a symphony orchestra and their instruments; the aggregate of bearings in a constant velocity axle joint; the nitrogen atoms in the atmosphere; a collection of cells in a blood biobank + 'Exactly' means that there are no parts of the object aggregate other than its member parts. + The unit can, at certain times, consist of exactly one object, for example, when a wolf litter loses all but one of its pups, but it must at some time have a plurality of member parts. + + + + + + + + + + + + + + + 040-BFO + three-dimensional spatial region + (Elucidation) A three-dimensional spatial region is a whole consisting of a spatial volume together with zero or more spatial volumes which may have spatial regions of lower dimension as parts + A cube-shaped region of space; a sphere-shaped region of space; the region of space occupied by all and only the planets in the solar system at some point in time + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + 034-BFO + site + (Elucidation) A site is a three-dimensional immaterial entity whose boundaries either (partially or wholly) coincide with the boundaries of one or more material entities or have locations determined in relation to some material entity + A hole in a portion of cheese; a rabbit hole; the Grand Canyon; the Piazza San Marco; the kangaroo-joey-containing hole of a kangaroo pouch; your left nostril (a fiat part - the opening - of your left nasal cavity); the lumen of your gut; the hold of a ship; the interior of the trunk of your car; hole in an engineered floor joist + + + + + + + + + 024-BFO + object + (Elucidation) An object is a material entity which manifests causal unity & is of a type instances of which are maximal relative to the sort of causal unity manifested + An organism; a fish tank; a planet; a laptop; a valve; a block of marble; an ice cube + A description of three primary sorts of causal unity is provided in Basic Formal Ontology 2.0. Specification and User Guide + + + + + + + + + 074-BFO + generically dependent continuant + g-dependent continuant + (Elucidation) A generically dependent continuant is an entity that exists in virtue of the fact that there is at least one of what may be multiple copies which is the content or the pattern that multiple copies would share + The pdf file on your laptop; the pdf file that is a copy thereof on my laptop; the sequence of this protein molecule; the sequence that is a copy thereof in that protein molecule; the content that is shared by a string of dots and dashes written on a page and the transmitted Morse code signal; the content of a sentence; an engineering blueprint + + + + + + + + + 064-BFO + function + (Elucidation) A function is a disposition that exists in virtue of its bearer's physical make-up & this physical make-up is something the bearer possesses because it came into being either through evolution (in the case of natural biological entities) or through intentional design (in the case of artefacts) in order to realize processes of a certain sort + The function of a hammer to drive in nails; the function of a heart pacemaker to regulate the beating of a heart through electricity + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + 084-BFO + process boundary + p is a process boundary =Def p is a temporal part of a process & p has no proper temporal parts + The boundary between the 2nd and 3rd year of your life + + + + + + + + + + + + + + + + + + + + + + + + + + + + + 103-BFO + one-dimensional temporal region + (Elucidation) A one-dimensional temporal region is a temporal region that is a whole that has a temporal interval and zero or more temporal intervals and temporal instants as parts + The temporal region during which a process occurs + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + 019-BFO + material entity + (Elucidation) A material entity is an independent continuant has some portion of matter as continuant part + A human being; the undetached arm of a human being; an aggregate of human beings + + + + + + + + + + + + + + + + + + + + + 029-BFO + continuant fiat boundary + (Elucidation) A continuant fiat boundary b is an immaterial entity that is of zero, one or two dimensions & such that there is no time t when b has a spatial region as continuant part & whose location is determined in relation to some material entity + As for fiat point, fiat line, fiat surface + + + + + + + + + 028-BFO + immaterial entity + b is an immaterial entity =Def b is an independent continuant which is such that there is no time t when it has a material entity as continuant part + As for fiat point, fiat line, fiat surface, site + + + + + + + + + + + + + + + + + + + + + + 032-BFO + fiat line + (Elucidation) A fiat line is a one-dimensional continuant fiat boundary that is continuous + The Equator; all geopolitical boundaries; all lines of latitude and longitude; the median sulcus of your tongue; the line separating the outer surface of the mucosa of the lower lip from the outer surface of the skin of the chin + + + + + + + + + 057-BFO + relational quality + b is a relational quality =Def b is a quality & there exists c and d such that c and d are not identical & b specifically depends on c & b specifically depends on d + A marriage bond; an instance of love; an obligation between one person and another + + + + + + + + + + + + + + + 033-BFO + fiat surface + (Elucidation) A fiat surface is a two-dimensional continuant fiat boundary that is self-connected + The surface of the Earth; the plane separating the smoking from the non-smoking zone in a restaurant + + + + + + + + + + + + + + + 031-BFO + fiat point + (Elucidation) A fiat point is a zero-dimensional continuant fiat boundary that consists of a single point + The geographic North Pole; the quadripoint where the boundaries of Colorado, Utah, New Mexico and Arizona meet; the point of origin of some spatial coordinate system + + + + + + + + + + + + + + + 102-BFO + zero-dimensional temporal region + (Elucidation) A zero-dimensional temporal region is a temporal region that is a whole consisting of one or more separated temporal instants as parts + A temporal region that is occupied by a process boundary; the moment at which a finger is detached in an industrial accident + + + + + + + + + 138-BFO + history + (Elucidation) A history is a process that is the sum of the totality of processes taking place in the spatiotemporal region occupied by the material part of a material entity + The life of an organism from the beginning to the end of its existence + + + + + + + + + 155-BFO + temporal interval + (Elucidation) A temporal interval is a one-dimensional temporal region that is continuous, thus without gaps or breaks + The year 2018. + A one-dimensional temporal region can include as parts not only temporal intervals but also temporal instants separated from other parts by gaps. + + + + + + + + + 209-BFO + temporal instant + (Elucidation) A temporal instant is a zero-dimensional temporal region that has no proper temporal part + The millennium + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + diff --git a/src/owl/profiles/atemporal/bfo-2020-without-some-all-times.owl b/src/owl/profiles/atemporal/bfo-2020-without-some-all-times.owl new file mode 100644 index 0000000..d1662d4 --- /dev/null +++ b/src/owl/profiles/atemporal/bfo-2020-without-some-all-times.owl @@ -0,0 +1,985 @@ + + + + Alan Ruttenberg + Yongqun "Oliver" He + Mark Ressler + Jonathan Bona + Barry Smith + Jie Zheng + Mathias Brochhausen + Mauricio Almeida + + Larry Hunter + Stefan Schulz + Thomas Bittner + Robert Rovetto + Werner Ceusters + Randall Dipert + David Osumi-Sutherland + BFO 2020 + Janna Hastings + Ron Rudnicki + Fabian Neuhaus + Bill Duncan + The most recent version of this file will always be in the GitHub repository https://github.com/bfo-ontology/bfo-2020 + Melanie Courtot + Ludger Jansen + Chris Mungall + Albert Goldfain + Leonard Jacuzzo + + Bjoern Peters + James A. Overton + Pierre Grenon + + + 138-BFO + The life of an organism from the beginning to the end of its existence. + (Elucidation) A history is a process that is the sum of the totality of processes taking place in the spatiotemporal region occupied by the material part of a material entity + history + history + + + + + + 084-BFO + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + The boundary between the 2nd and 3rd year of your life. + + + + + + + + + + + + + + p is a process boundary =Def p is a temporal part of a process & p has no proper temporal parts + process boundary + process boundary + + + 001-BFO + Julius Caesar, the Second World War, your body mass index, Verdi's Requiem. + (Elucidation) An entity is anything that exists or has existed or will exist + entity + entity + + + + + + 061-BFO + externally-grounded realizable entity + The priest role, the student role, the role of subject in a clinical trial, the role of a stone in marking a property boundary, the role of a boundary to demarcate two neighbouring administrative territories, the role of a building in serving as a military target. + (Elucidation) b is a role means: b is a realizable entity & b exists because there is some single bearer that is in some special physical, social, or institutional set of circumstances in which this bearer does not have to be & b is not such that, if it ceases to exist, then the physical make-up of the bearer is thereby changed + role + role + + + + + + + + + + + + + + An act of selling, the life of an organism, a process of sleeping, a process of cell-division, a beating of the heart, a process of meiosis, the taxiing of an aircraft, the programming of a computer. + + + + + + + + + process + (Elucidation) p is a process means p is an occurrent that has some temporal proper part and for some time t, p has some material entity as participant at t + + + + + + + + + + + + + + + + process + 083-BFO + + + + + + 033-BFO + The surface of the Earth, the plane separating the smoking from the non-smoking zone in a restaurant + (Elucidation) a fiat surface is a two-dimensional continuant fiat boundary that is self-connected + fiat surface + fiat surface + + + + + + + + + 077-BFO + As for process, history, process boundary, spatiotemporal region, zero-dimensional temporal region, one-dimensional temporal region, temporal interval, temporal instant. + (Elucidation) An occurrent is an entity that unfolds itself in time or it is the start or end of such an entity or it is a temporal or spatiotemporal region + occurrent + occurrent + + + + 074-BFO + g-dependent continuant + The pdf file on your laptop, the pdf file that is a copy thereof on my laptop; the sequence of this protein molecule; the sequence that is a copy thereof in that protein molecule; the content that is shared by a string of dots and dashes written on a page and the transmitted Morse code signal; the content of a sentence; an engineering blueprint. + (Elucidation) a generically dependent continuant is an entity that exists in virtue of the fact that there is at least one of what may be multiple copies; it is the content or the pattern that the multiple copies share + generically dependent continuant + generically dependent continuant + + + + + + 029-BFO + As for fiat point, fiat line, fiat surface. + (Elucidation) b is a continuant fiat boundary means: b is an immaterial entity that is of zero, one or two dimensions, which is such that there is no time t when b has a spatial region as continuant part at t, and whose location is determined in relation to some material entity + continuant fiat boundary + continuant fiat boundary + + + + + + 095-BFO + + + + + + + + + + + + + + + + + + The spatiotemporal region occupied by the development of a cancer tumour, the spatiotemporal region occupied by an orbiting satellite. + spatiotemporal region + 'Spacetime' here refers to the maximal instance of the universal spatiotemporal region. + spatiotemporal region + (Elucidation) A spatiotemporal region is an occurrent that is an occurrent part of spacetime + + + 032-BFO + The Equator, all geopolitical boundaries, all lines of latitude and longitude, the median sulcus of your tongue, the line separating the outer surface of the mucosa of the lower lip from the outer surface of the skin of the chin. + (Elucidation) a fiat line is a one-dimensional continuant fiat boundary that is continuous + fiat line + fiat line + + + + 039-BFO + The surface of a sphere-shaped part of space, an infinitely thin plane in space. + (Elucidation) A two-dimensional spatial region is a spatial region that is a whole consisting of a surface together with zero or more surfaces and/or spatial regions of lower dimension as parts + two-dimensional spatial region + two-dimensional spatial region + + + + + + + + + 102-BFO + A temporal region that is occupied by a process boundary; the moment at which a finger is detached in an industrial accident. + (Elucidation) A zero-dimensional temporal region is a temporal region that is a whole consisting of one or more separated temporal instants as parts + zero-dimensional temporal region + zero-dimensional temporal region + + + + + + + + + + + + + + 209-BFO + The millennium. + (Elucidation) a temporal instant is a zero-dimensional temporal region that has no proper temporal part + temporal instant + temporal instant + + + + + + + 058-BFO + The role of being a doctor, the role of this boundary to delineate where Utah and Colorado meet, the function of your reproductive organs, the disposition of your blood to coagulate, the disposition of this piece of metal to conduct electricity. + (Elucidation) b is a realizable entity means: b is a specifically dependent continuant that inheres in some independent continuant which is not a spatial region and is of a type some instances of which are realized in processes of a correlated type + realizable entity + realizable entity + + + + + + 025-BFO + The aggregate of the musicians in a symphony orchestra and their instruments, the aggregate of bearings in a constant velocity axle joint, the nitrogen atoms in the atmosphere, a collection of cells in a blood biobank. NOTE 1: 'Exactly' means that there are no parts of the object aggregate other than its member parts. NOTE 2: The unit can, at certain times, consist of exactly one object, for example, when a wolf litter loses all but one of its pups, but it must at some time have a plurality of member parts. + (Elucidation) an object aggregate is a material entity consisting exactly of a plurality (≥1) of objects as member parts which together form a unit + object aggregate + object aggregate + + + + + + 055-BFO + The colour of a tomato, the ambient temperature of this portion of air, the length of the circumference of your waist, the shape of your nose, the shape of your nostril, the mass of this piece of gold. + (Elucidation) a quality is a specifically dependent continuant that, in contrast to roles and dispositions, does not require any further process in order to be realized + quality + quality + + + + + + 034-BFO + A hole in a portion of cheese, a rabbit hole, the Grand Canyon, the Piazza San Marco, the kangaroo-joey-containing hole of a kangaroo pouch, your left nostril (a fiat part - the opening - of your left nasal cavity), the lumen of your gut, the hold of a ship, the interior of the trunk of your car, hole in an engineered floor joist; An air traffic control region of type A is determined in terms of elevation above mean sea level of lower and upper boundaries. + (Elucidation) b is a site means: b is a three-dimensional immaterial entity whose boundaries either (1) (partially or wholly) coincide with the boundaries of one or more material entities or (2) have locations determined in relation to some material entity + site + site + + + + + + 019-BFO + A human being, the undetached arm of a human being, an aggregate of human beings. + (Elucidation) A material entity is an independent continuant that at all times at which it exists has some portion of matter as continuant part + material entity + material entity + + + + + + 008-BFO + A human being, a tennis ball, a cave, a region of space, someone's temperature. + (Elucidation) A continuant is an entity that persists, endures, or continues to exist through time while maintaining its identity + continuant + continuant + + + + 027-BFO + The upper and lower lobes of the left lung, the dorsal and ventral surfaces of the body, the Western hemisphere of the Earth, the FMA:regional parts of an intact human body. + (Elucidation) a fiat object part b is a material entity which is such that for all times t, if b exists at t then there is some object c such that b is a proper continuant part of c at t and b is demarcated from the remainder of c by one or more fiat surfaces + fiat object part + fiat object part + + + + 057-BFO + A marriage bond, an instance of love, an obligation between one person and another. + b is a relational quality =Def b is a quality and there exists c and d such that b and c are not identical, & b s-depends on c & b s-depends on d + relational quality + relational quality + + + + 064-BFO + The function of a hammer to drive in nails, the function of a heart pacemaker to regulate the beating of a heart through electricity. + (Elucidation) A function is a disposition that exists in virtue of the bearer's physical make-up and this physical make-up is something the bearer possesses because it came into being either through evolution (in the case of natural biological entities) or through intentional design (in the case of artefacts), in order to realize processes of a certain sort + function + function + + + + + + 017-BFO + An atom, a molecule, an organism, a heart, a chair, the bottom right portion of a human torso, a leg; the interior of your mouth; a spatial region; an orchestra. + b is an independent continuant =Def b is a continuant which is such that there is no c such that b s-depends on c and no c such that b g-depends on c + independent continuant + independent continuant + + + + 038-BFO + An edge of a cube-shaped portion of space, a line connecting two points, two parallel lines extended in space. + (Elucidation) A one-dimensional spatial region is a whole consisting of a line together with zero or more lines and/or points as parts + one-dimensional spatial region + one-dimensional spatial region + + + + + + 031-BFO + The geographic North Pole; the quadripoint where the boundaries of Colorado, Utah, New Mexico and Arizona meet, the point of origin of some spatial coordinate system. + (Elucidation) a fiat point is a zero-dimensional continuant fiat boundary that consists of a single point + fiat point + fiat point + + + + 155-BFO + The year 2018. + A one-dimensional temporal region can include as parts not only temporal intervals but also temporal instants separated from other parts by gaps. + (Elucidation) a temporal interval is a one-dimensional temporal region that is continuous, thus without gaps or breaks + temporal interval + temporal interval + + + + + + 050-BFO + (with one bearer) The mass of this tomato, the pink colour of a medium rare piece of grilled filet mignon at its centre, the smell of this portion of mozzarella, the disposition of this fish to decay, the role of being a doctor, the function of this heart: to pump blood, the shape of this hole; (with multiple bearers:) John's love for Mary, the ownership relation between John and this statue, the relation of authority between John and his subordinates. + On the multiple bearers case, see relational quality. + b is a specifically dependent continuant =Def b is a continuant & there is some independent continuant c which is not a spatial region & which is such that b s-depends on c + specifically dependent continuant + specifically dependent continuant + + + + + 028-BFO + As for fiat point, fiat line, fiat surface, site. + a is an immaterial entity =Def a is an independent continuant which is such that there is no time t when it has a material entity as continuant part at t + immaterial entity + immaterial entity + + + + 024-BFO + An organism, a fish tank, a planet, a laptop, a valve, a block of marble, an ice cube. + A description of three primary sorts of causal unity is provided in Basic Formal Ontology 2.0. Specification and User’s Guide + (Elucidation) an object is a material entity which manifests causal unity & is of a type instances of which are maximal relative to the sort of causal unity manifested + object + object + + + + 040-BFO + A cube-shaped region of space, a sphere-shaped region of space, the region of space occupied by all and only the planets in the solar system at some point in time. + (Elucidation) A three-dimensional spatial region is a whole consisting of a spatial volume together with zero or more spatial volumes and/or spatial regions of lower dimension as parts + three-dimensional spatial region + three-dimensional spatial region + + + + + + 035-BFO + As for zero-dimensional spatial region, one-dimensional spatial region, two-dimensional spatial region, three-dimensional spatial region. + (Elucidation) A spatial region is a continuant entity that is a continuant part of the spatial projection of a portion of spacetime at a given time + spatial region + spatial region + + + + 062-BFO + internally-grounded realizable entity + An atom of element X has the disposition to decay to an atom of element Y; the cell wall is disposed to transport cellular material through endocytosis and exocytosis; certain people have a predisposition to colon cancer; children are innately disposed to categorize objects in certain ways. + (Elucidation) b is a disposition means: b is a realizable entity & b is such that if it ceases to exist, then its bearer is physically changed, & b's realization occurs when and because this bearer is in some special physical circumstances, & this realization occurs in virtue of the bearer's physical make-up + disposition + disposition + + + + 103-BFO + The temporal region during which a process occurs. + (Elucidation) A one-dimensional temporal region is a temporal region is a whole that has a temporal interval and zero or more temporal intervals and temporal instants as parts + one-dimensional temporal region + one-dimensional temporal region + + + + + + + + + + + + + + + + + + + + + + + + + + + + + 100-BFO + As for zero-dimensional temporal region and one-dimensional temporal region. + (Elucidation) A temporal region is an occurrent over which processes can unfold + temporal region + temporal region + + + + + + + + + + + + + + + + + + + + 037-BFO + The spatial region occupied at some time instant by the North Pole. + (Elucidation) A zero-dimensional spatial region is one or a collection of more than one spatially disjoint points in space + zero-dimensional spatial region + zero-dimensional spatial region + + + + has proper temporal part + + has proper temporal part + + + + b has proper temporal part c =Def c proper temporal part of b + As for has temporal part. + + + + + 212-BFO + + + 260-BFO + Coloured object s-depended on by colour. + + + + + + + + + + + + + + + + specifically depended on by + specifically depended on by + + + + + s-depended on by + b s-depended on by c =Def c specifically depends on b + + + + + + + + + + + + + + + + + + + + + + 267-BFO + Mouth environs process of mastication, city environs traffic. + b environs c =Def c occurs in b + environs + environs + + + + + + + + 268-BFO + An hour starting at midnight yesterday has first instant midnight yesterday. + temporal instant t first instant of temporal region t' =Def t precedes all temporal parts of t' other than t + first instant of + first instant of + + + has first instant + 261-BFO + + t has first instant t' =Def t' first instant of t + has first instant + + + + The first hour of a year has first instant midnight on December 31. + + + + + + + + 269-BFO + Last midnight is the last instant of yesterday. + temporal instant t last instant of temporal region t' =Def all temporal parts of t' other than t precede t + last instant of + last instant of + + + + As for temporal part of. + 116-BFO + proper temporal part of + + + + b proper temporal part of c =Def b temporal part of c & not (b = c) + + proper temporal part of + + + + 215-BFO + t has last instant t' =Def t' last instant of t + + + has last instant + has last instant + + The last hour of a year has last instant midnight December 31. + + + + 012-BFO + s-depends on + A shape s-depends on the shaped object, hue, saturation and brightness of a colour sample s-depend on each other. + (Elucidation) b specifically depends on c means: b and c do not share common parts & b is of a nature such that at all times t it cannot exist at t unless c exists at t & b is not a boundary of c + specifically depends on + + + + + + + + + + + + + + + + + The analogue of s-dependence for occurrents is has participant. + + specifically depends on + + + b bearer of c =Def c inheres in b + 053-BFO + + + + + + + + + + + + + + + bearer of + bearer of + A patch of ink is the bearer of a colour quality; an organism is the bearer of a temperature quality. + + + + + + + + + 145-BFO + This organism has history this life. + b has history c =Def c history of b + has history + has history + + + + + 059-BFO + A disposition to go bald is realized in a balding process; a role of student is realized in studying processes; the pumping function of a heart is realized in processes of pumping. + (Elucidation) b realizes c means: b is a process & c is a realizable entity that inheres in d & for all t, if b has participant d at t then c exists at t & the type instantiated by b is correlated with the type instantiated by c + realizes + realizes + + + + + + + + + + + + + + + + + + + + + + 143-BFO + A process of digestion occurs in the interior of an organism, a process of loading artillery rounds into a tank cannon occurs in the interior of the tank. + b occurs in c =Def b is a process or a process boundary and c is a material entity or immaterial entity & there exists a spatiotemporal region r and b occupies spatiotemporal region r & for all 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 occupies spatial region s' at t & s is a continuant part of s' at t + occurs in + occurs in + + + + b inheres in c =Def b is a specifically dependent continuant & c is an independent continuant that is not a spatial region & b s-depends on c + A shape inheres in a shaped object; a mass inheres in a material entity. + + + + + + + + + + + + + + inheres in + inheres in + 051-BFO + + + + + + 206-BFO + As for realizes + b has realization c =Def c realizes b + has realization + has realization + + + 003-BFO + + (Elucidation) b occurrent part of c =Def c has occurrent part b + + + Mary's 5th birthday is an occurrent part of Mary's life; the first set of the tennis match is an occurrent part of the tennis match. + occurrent part of + + + + occurrent part of + + + 118-BFO + First World War exists at 1914-1916, Mexico exists at January 1, 2000. + (Elucidation) exists at is a relation between a particular and some temporal region at which the particular exists + exists at + exists at + + + proper occurrent part of + + + + b proper occurrent part of c =Def b occurrent part of c & b and c are not identical + + + + proper occurrent part of + + As for occurrent part of. + 005-BFO + + + + + + + + + Your heart beating from 4pm to 5pm today is a temporal part of the process of your heart beating; the 4th year of your life is a temporal part of your life, as is the process boundary which separates the 3rd and 4th years of your life; the first quarter of a game of football is a temporal part of the whole game. + b temporal part of c =Def b occurrent part of c & either b and c are temporal regions or b and c are spatiotemporal regions & b temporally projects onto an occurrent part of the temporal region that c temporally projects onto or b and c are processes or process boundaries & b occupies a temporal region that is an occurrent part of the temporal region that c occupies + 078-BFO + + temporal part of + temporal part of + + + preceded by + The temporal region occupied by the second half of the match is preceded by the temporal region occupied by the first half of the match. + b preceded by c =Def b precedes c + 213-BFO + + + preceded by + + + + + + + + 202-BFO + has occurrent part + + has occurrent part + + Mary's life has occurrent part Mary's 5th birthday. + + (Elucidation) b has occurrent part c means: c is a part of b & b and c are occurrents + + + 154-BFO + has proper occurrent part + + + + + has proper occurrent part + b has proper occurrent part c =Def b has occurrent part c & b and c are not identical + + As for has occurrent part. + + + precedes + + (Elucidation) If o, o' are occurrents and t is the temporal extent of o and t' is the temporal extent of o' then o precedes o' means: either last instant of o is before first instant of o' or last instant of o = first instant of o' and neither o nor o' are temporal instants + 270-BFO + precedes + + + + The temporal region occupied by Mary's birth precedes the temporal region occupied by Mary's death. NOTE 1: Each temporal region is its own temporal extent. The temporal extent of a spatiotemporal region is the temporal region it temporally projects onto. The temporal extent of a process or process boundary that occupies temporal region t is t. NOTE 2: Precedes defines a strict partial order on occurrents. + + + has temporal part + + + has temporal part + 211-BFO + + + Your life has temporal part the first year of your life. + + b has temporal part c =Def c temporal part of b + + + + + + + + + + + + + 132-BFO + The Second World War occupies the temporal region September 1, 1939 - September 2, 1945. + p occupies temporal region t =Def the spatiotemporal region occupied by p temporally projects onto t + occupies temporal region + occupies temporal region + + + + + + + + + + + + + 082-BFO + A particle emitted by a nuclear reactor occupies the spatiotemporal region which is its trajectory. + (Elucidation) p occupies spatiotemporal region s is a relation between an occurrent p and the spatiotemporal region s which is its spatiotemporal extent + occupies spatiotemporal region + occupies spatiotemporal region + + + + 144-BFO + history of + history of + (Elucidation) b history of c if c is a material entity and b is a history that is the unique history of c + + This life is the history of this organism. + + + + + + + + + 080-BFO + The world line of a particle temporally projects onto the temporal region extending from the beginning to the end of the existence of the particle. + (Elucidation) temporally projects onto is a relation between a spatiotemporal region s and some temporal region which is the temporal extent of s + temporally projects onto + temporally projects onto + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + diff --git a/src/owl/temporal extensions/README.md b/src/owl/profiles/temporal extensions/README.md similarity index 100% rename from src/owl/temporal extensions/README.md rename to src/owl/profiles/temporal extensions/README.md diff --git a/src/owl/temporal extensions/contributions/README.md b/src/owl/profiles/temporal extensions/contributions/README.md similarity index 100% rename from src/owl/temporal extensions/contributions/README.md rename to src/owl/profiles/temporal extensions/contributions/README.md diff --git a/src/owl/temporal extensions/contributions/allen-relation-definitions.cl b/src/owl/profiles/temporal extensions/contributions/allen-relation-definitions.cl similarity index 100% rename from src/owl/temporal extensions/contributions/allen-relation-definitions.cl rename to src/owl/profiles/temporal extensions/contributions/allen-relation-definitions.cl diff --git a/src/owl/temporal extensions/temporalized relations/documentation/README.md b/src/owl/profiles/temporal extensions/temporalized relations/documentation/README.md similarity index 100% rename from src/owl/temporal extensions/temporalized relations/documentation/README.md rename to src/owl/profiles/temporal extensions/temporalized relations/documentation/README.md diff --git a/src/owl/temporal extensions/temporalized relations/documentation/bfo-2020-iris.xlsx b/src/owl/profiles/temporal extensions/temporalized relations/documentation/bfo-2020-iris.xlsx similarity index 100% rename from src/owl/temporal extensions/temporalized relations/documentation/bfo-2020-iris.xlsx rename to src/owl/profiles/temporal extensions/temporalized relations/documentation/bfo-2020-iris.xlsx diff --git a/src/owl/temporal extensions/temporalized relations/documentation/bfo-2020-relations-table.csv b/src/owl/profiles/temporal extensions/temporalized relations/documentation/bfo-2020-relations-table.csv similarity index 100% rename from src/owl/temporal extensions/temporalized relations/documentation/bfo-2020-relations-table.csv rename to src/owl/profiles/temporal extensions/temporalized relations/documentation/bfo-2020-relations-table.csv diff --git a/src/owl/temporal extensions/temporalized relations/documentation/bfo-2020-relations-table.xlsx b/src/owl/profiles/temporal extensions/temporalized relations/documentation/bfo-2020-relations-table.xlsx similarity index 100% rename from src/owl/temporal extensions/temporalized relations/documentation/bfo-2020-relations-table.xlsx rename to src/owl/profiles/temporal extensions/temporalized relations/documentation/bfo-2020-relations-table.xlsx diff --git a/src/owl/temporal extensions/temporalized relations/documentation/bfo-2020-terms.csv b/src/owl/profiles/temporal extensions/temporalized relations/documentation/bfo-2020-terms.csv similarity index 100% rename from src/owl/temporal extensions/temporalized relations/documentation/bfo-2020-terms.csv rename to src/owl/profiles/temporal extensions/temporalized relations/documentation/bfo-2020-terms.csv diff --git a/src/owl/temporal extensions/temporalized relations/documentation/bfo-2020-terms.xlsx b/src/owl/profiles/temporal extensions/temporalized relations/documentation/bfo-2020-terms.xlsx similarity index 100% rename from src/owl/temporal extensions/temporalized relations/documentation/bfo-2020-terms.xlsx rename to src/owl/profiles/temporal extensions/temporalized relations/documentation/bfo-2020-terms.xlsx diff --git a/src/owl/temporal extensions/temporalized relations/documentation/reverse-vs-inverse.txt b/src/owl/profiles/temporal extensions/temporalized relations/documentation/reverse-vs-inverse.txt similarity index 100% rename from src/owl/temporal extensions/temporalized relations/documentation/reverse-vs-inverse.txt rename to src/owl/profiles/temporal extensions/temporalized relations/documentation/reverse-vs-inverse.txt diff --git a/src/owl/temporal extensions/temporalized relations/owl/README.md b/src/owl/profiles/temporal extensions/temporalized relations/owl/README.md similarity index 100% rename from src/owl/temporal extensions/temporalized relations/owl/README.md rename to src/owl/profiles/temporal extensions/temporalized relations/owl/README.md diff --git a/src/owl/temporal extensions/temporalized relations/owl/bfo-temporalized-relations.ofn b/src/owl/profiles/temporal extensions/temporalized relations/owl/bfo-temporalized-relations.ofn similarity index 100% rename from src/owl/temporal extensions/temporalized relations/owl/bfo-temporalized-relations.ofn rename to src/owl/profiles/temporal extensions/temporalized relations/owl/bfo-temporalized-relations.ofn diff --git a/src/owl/profiles/temporal extensions/temporalized relations/owl/bfo-temporalized-relations.owl b/src/owl/profiles/temporal extensions/temporalized relations/owl/bfo-temporalized-relations.owl new file mode 100644 index 0000000..2db6a50 --- /dev/null +++ b/src/owl/profiles/temporal extensions/temporalized relations/owl/bfo-temporalized-relations.owl @@ -0,0 +1,2193 @@ + + + + + Mathias Brochhausen + Ron Rudnicki + BFO 2020 + Janna Hastings + Leonard Jacuzzo + Randall Dipert + Barry Smith + Larry Hunter + Stefan Schulz + Werner Ceusters + + Jonathan Bona + Robert Rovetto + Albert Goldfain + Yongqun "Oliver" He + Bjoern Peters + Melanie Courtot + Alan Ruttenberg + Bill Duncan + Ludger Jansen + Thomas Bittner + Chris Mungall + Jie Zheng + John Beverley + Mauricio Almeida + Mark Ressler + The most recent version of this file will always be in the GitHub repository https://github.com/bfo-ontology/bfo-2020 + Mark Jensen + Neil Otte + David Osumi-Sutherland + Pierre Grenon + James A. Overton + Fabian Neuhaus + A temporal extension of Basic Formal Ontology implemented in the Web Ontology Language (OWL 2) with direct semantics. + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + 206-BFO + has realization + realized in + b has realization c =Def c realizes b + As for realizes + has realization + + + + + + + + + + 059-BFO + realizes + (Elucidation) realizes is a relation between a process b and realizable entity c such that c inheres in some d & for all t, if b has participant d then c exists & the type instantiated by b is correlated with the type instantiated by c + A balding process realizes a disposition to go bald; a studying process realizes a student role; a process of pumping blood realizes the pumping function of a heart + realizes + + + + + + + + + + + + + + + + + + + + + + + + + + 250-BFO + participates in + (Elucidation) participates in holds between some b that is either a specifically dependent continuant or generically dependent continuant or independent continuant that is not a spatial region & some process p such that b participates in p some way + participates in at some time + + + + + + + + + + + + + + + + + + + + + + + + + 248-BFO + has participant + p has participant c =Def c participates in p + has participant at some time + + + + + + + + + + + + + + + + + + 258-BFO + is concretized by + c is concretized by b =Def b concretizes c + is concretized by at some time + + + + + + + + + + + + + + + + + 256-BFO + concretizes + b concretizes c =Def b is a process or a specifically dependent continuant & c is a generically dependent continuant & there is some time t such that c is the pattern or content which b shares at t with actual or potential copies + concretizes at some time + + + + + + + + + + + + 213-BFO + preceded by + b preceded by c =Def b precedes c + The temporal region occupied by the second half of the match is preceded by the temporal region occupied by the first half of the match + preceded by + + + + + + + + + + + 270-BFO + precedes + (Elucidation) precedes is a relation between occurrents o, o' such that if t is the temporal extent of o & t' is the temporal extent of o' then either the last instant of o is before the first instant of o' or the last instant of o is the first instant of o' & neither o nor o' are temporal instants + The temporal region occupied by Mary's birth precedes the temporal region occupied by Mary's death. + precedes + Each temporal region is its own temporal extent. The temporal extent of a spatiotemporal region is the temporal region it temporally projects onto. The temporal extent of a process or process boundary that occupies temporal region t is t. + Precedes defines a strict partial order on occurrents. + + + + + + + + + + + + + + + + + + + + + + + + + 143-BFO + occurs in + b occurs in c =Def b is a process or a process boundary & c is a material entity or site & there exists a spatiotemporal region r & b occupies spatiotemporal region r & for all time 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 occupies spatial region s' at t & s is a continuant part of s' at t + A process of digestion occurs in the interior of an organism; a process of loading artillery rounds into a tank cannon occurs in the interior of the tank + occurs in + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + 235-BFO + located in at all times + b located in c at all times =Def for all times t, b exists at t implies (b and c are independent continuants and not spatial regions, and the spatial region which b occupies at t is a (proper or improper) continuant part of the spatial region which c occupies at t) + located in at all times + + + + + + + + + + + + + + + + + + + + 252-BFO + generically depends on + g-depends on + b generically depends on c =Def b is a generically dependent continuant & c is an independent continuant that is not a spatial region & at some time t there inheres in c a specifically dependent continuant which concretizes b at t + generically depends on at some time + + + + + + + + + + + + + + + + + + + 254-BFO + is carrier of + b is carrier of c =Def there is some time t such that c generically depends on b at t + is carrier of at some time + + + + + + + + + + 118-BFO + exists at + (Elucidation) exists at is a relation between a particular and some temporal region at which the particular exists + First World War exists at 1914-1916; Mexico exists at January 1, 2000 + exists at + + + + + + + + + + + 223-BFO + has continuant part at all times + b has continuant part c at all times =Def for all times t, b exists at t implies (b and c are continuants & b is a part of c at t) + has continuant part at all times + + + + + + + + + + + + 227-BFO + has proper continuant part at all times + b has proper continuant part c at all times =Def c proper continuant part of b at all times + has proper continuant part at all times + + + + + + + + + + + 243-BFO + has material basis at all times + b has material basis c at all times =Def For all times t, b exists at t implies (b is a disposition & c is a material entity & there is some d bearer of b & c continuant part of d at t & d has disposition b because c continuant part of d at t) + has material basis at all times + + + + + + + + + + + + 230-BFO + has member part + b has member part c =Def c member part of b + has member part at some time + + + + + + + + + + + + 202-BFO + has occurrent part + b has occurrent part c =Def c occurrent part of b + Mary's life has occurrent part Mary's 5th birthday + has occurrent part + + + + + + + + + + + + + 154-BFO + has proper occurrent part + b has proper occurrent part c =Def b has occurrent part c & b and c are not identical + As for has occurrent part. + has proper occurrent part + + + + + + + + + + + + + 211-BFO + has temporal part + b has temporal part c =Def c temporal part of b + Your life has temporal part the first year of your life. + has temporal part + + + + + + + + + + + + + + + + + + + + + + + + + + + + + 236-BFO + location of + b location of c =Def c located in b + location of at some time + + + + + + + + + + + 244-BFO + material basis of + b material basis of c =Def c has material basis b + material basis of at some time + + + + + + + + + + + 228-BFO + member part of + b member part of c =Def b is an object & c is a material entity & there is some time t such that b continuant part of c at t & there is a mutually exhaustive and pairwise disjoint partition of c into objects x1, ..., xn (for some n ≠ 1) with b = xi (for some 1 <= i <= n) + member part of at some time + + + + + + + + + + + 003-BFO + occurrent part of + (Elucidation) occurrent part of is a relation between occurrents b and c when b is part of c + Mary's 5th birthday is an occurrent part of Mary's life; the first set of the tennis match is an occurrent part of the tennis match + occurrent part of + + + + + + + + + + + + 116-BFO + proper temporal part of + b proper temporal part of c =Def b temporal part of c & not (b = c) + As for temporal part of. + proper temporal part of + + + + + + + + + + + + + 225-BFO + proper continuant part of at all times + b proper continuant part of c at all times =Def for all times t, b exists at t implies (b continuant part of c at t & not (c proper continuant part of b at t)) + proper continuant part of at all times + + + + + + + + + + + + 005-BFO + proper occurrent part of + b proper occurrent part of c =Def b occurrent part of c & b and c are not identical + As for occurrent part of. + proper occurrent part of + + + + + + + + + + + + 078-BFO + temporal part of + b temporal part of c =Def b occurrent part of c & (b and c are temporal regions) or (b and c are spatiotemporal regions & b temporally projects onto an occurrent part of the temporal region that c temporally projects onto) or (b and c are processes or process boundaries & b occupies a temporal region that is an occurrent part of the temporal region that c occupies) + Your heart beating from 4pm to 5pm today is a temporal part of the process of your heart beating; the 4th year of your life is a temporal part of your life, as is the process boundary which separates the 3rd and 4th years of your life; the first quarter of a game of football is a temporal part of the whole game + temporal part of + + + + + + + + + + + 080-BFO + temporally projects onto + (Elucidation) temporally projects onto is a relation between a spatiotemporal region s and some temporal region which is the temporal extent of s + The world line of a particle temporally projects onto the temporal region extending from the beginning to the end of the existence of the particle + temporally projects onto + + + + + + + + + + + 245-BFO + material basis of at all times + b material basis of c at all times =Def for all times t, b exists at t implies (c has material basis b at t) + material basis of at all times + + + + + + + + + + + + + + + + + + 257-BFO + concretizes at all times + an s-dependent continuant b concretizes a g-dependent continuant c at all times =Def for all times t, b exists at t implies (c is the pattern or content which b shares at t with actual or potential copies) + concretizes at all times + + + + + + + + + + + + + + + + + + 259-BFO + is concretized by at all times + a g-dependent continuant c is concretized by an s-dependent continuant or process b at all times =Def for all times t, b exists at t implies (b concretizes c at t) + is concretized by at all times + + + + + + + + + + + + + + + + + + + + + + + + + + 251-BFO + participates in at all times + b participates in p at all times =Def for all times t, b exists at t implies (p has participant b at t) + participates in at all times + + + + + + + + + + + + + + + + + + + + + + + + + + 249-BFO + has participant at all times + p has participant c at all times =Def for all times t, p exists at t implies (p is a process, c is a continuant, and c participates in p some way at t) + has participant at all times + + + + + + + + + + + + + + + + + + + + + + + + + + + + + 237-BFO + location of at all times + b location of c at all times =Def for all times t, b exists at t implies (c located in b at t) + location of at all times + + + + + + + + + + + + + + + + + + + + + + + + + + + + 234-BFO + located in + b located in c =Def b is an independent continuant & c is an independent & neither is a spatial region & there is some time t such that the spatial region which b occupies at t is continuant part of the spatial region which c occupies at t + located in at some time + + + + + + + + + + + + 231-BFO + has member part at all times + b has member part c at all times =Def for all times t, b exists at t implies (c member part b at t) + has member part at all times + + + + + + + + + + + + 229-BFO + member part of at all times + b member part of c at all times =Def for all times t, b exists at t implies (b is an object & c is an object aggregate & there is at t a mutually exhaustive and pairwise disjoint partition of c into objects x1,..., xn (for some n ≠ 1) with b = xi (for some 1 <= i <= n)) + member part of at all times + + + + + + + + + + + + 226-BFO + has proper continuant part at some time + b has proper continuant part c at some time =Def c proper continuant part of b at some time + has proper continuant part at some time + + + + + + + + + + + 224-BFO + proper continuant part of at some time + b proper continuant part of c at some time =Def for some time t (b continuant part of c at t & not (c continuant part of b at t) + proper continuant part of at some time + + + + + + + + + + + 221-BFO + continuant part of + b continuant part of c =Def b and c are continuants & there is some time t such that b and c exist at t & b continuant part of c at t + Milk teeth continuant part of human; surgically removed tumour continuant part of organism + continuant part of at some time + + + + + + + + + + + + 222-BFO + continuant part of at all times + b continuant part of c at all times =Def for all times t, (b exists at t, implies b continuant part of c at t & t is a temporal region & b and c are continuants) + Centre of mass of a material entity continuant part of material entity at all times; continuant fiat external boundary of an object continuant part of object at all times. + continuant part of at all times + + + + + + + + + + 271-BFO + has continuant part + b has continuant part c =Def c continuant part of b + has continuant part at some time + + + + + + + + + + + 212-BFO + has proper temporal part + b has proper temporal part c =Def c proper temporal part of b + As for has temporal part. + has proper temporal part + + + + + + + + + + + + + + + + + + + + + + + + 267-BFO + environs + b environs c =Def c occurs in b + Mouth environs process of mastication; city environs traffic + environs + + + + + + + + + + + + + 144-BFO + history of + (Elucidation) history of is a relation between history b and material entity c such that b is the unique history of c + This life is the history of this organism. + history of + + + + + + + + + + 145-BFO + has history + b has history c =Def c history of b + This organism has history this life + has history + + + + + + + + + + + + + + + + + + + + + + + + + 260-BFO + specifically depended on by + s-depended on by + b specifically depended on by c =Def c specifically depends on b + Coloured object specifically depended on by colour + specifically depended on by + + + + + + + + + + + + + + + + + + + + + + + + 012-BFO + specifically depends on + s-depends on + (Elucidation) specifically depends on is a relation between a specifically dependent continuant b and specifically dependent continuant or independent continuant that is not a spatial region c such that b and c share no parts in common & b is of a nature such that at all times t it cannot exist unless c exists & b is not a boundary of c + A shape specifically depends on the shaped object; hue, saturation and brightness of a colour sample specifically depends on each other + specifically depends on + The analogue of specifically depends on for occurrents is has participant. + + + + + + + + + + + + + + + + + + + + + 053-BFO + bearer of + b bearer of c =Def c inheres in b + A patch of ink is the bearer of a colour quality; an organism is the bearer of a temperature quality + bearer of + + + + + + + + + + + + + + + + + + + + 051-BFO + inheres in + b inheres in c =Def b is a specifically dependent continuant & c is an independent continuant that is not a spatial region & b specifically depends on c + A shape inheres in a shaped object; a mass inheres in a material entity + inheres in + + + + + + + + + + + + + + + + + + 132-BFO + occupies temporal region + p occupies temporal region t =Def p is a process or process boundary & the spatiotemporal region occupied by p temporally projects onto t + The Second World War occupies the temporal region September 1, 1939 - September 2, 1945 + occupies temporal region + + + + + + + + + + + + + + + + + + 082-BFO + occupies spatiotemporal region + (Elucidation) occupies spatiotemporal region is a relation between a process or process boundary p and the spatiotemporal region s which is its spatiotemporal extent + A particle emitted by a nuclear reactor occupies the spatiotemporal region which is its trajectory + occupies spatiotemporal region + + + + + + + + + + + + + + + + + + + 232-BFO + occupies spatial region + b occupies spatial region r =Def b is an independent continuant that is not a spatial region & r is a spatial region & there is some time t such that every continuant part of b occupies some continuant part of r at t and no continuant part of b occupies any spatial region that is not a continuant part of r at t + occupies spatial region at some time + + + + + + + + + + + + + + + + + + + + + 233-BFO + occupies spatial region at all times + an independent continuant c that is not a spatial region occupies spatial region r at all times =Def for all times t, b exists at t implies (every continuant part of c occupies some continuant part of r at t and no continuant part of c occupies any spatial region that is not a continuant part of r at t) + occupies spatial region at all times + + + + + + + + + + 246-BFO + spatially projects onto + (Elucidation) spatially projects onto is a relation between some spatiotemporal region b and spatial region c such that at some time t, c is the spatial extent of b at t + spatially projects onto at some time + + + + + + + + + + + + 247-BFO + spatially projects onto at all times + b spatially projects onto c at all times =Def for all times t, b exists at t implies (b is a spatiotemporal region and c is a spatial region and c is the spatial extent of b at t) + spatially projects onto at all times + + + + + + + + + + 242-BFO + has material basis + b has material basis c =Def b is a disposition & c is a material entity & there is some d bearer of b & there is some time t such that c is a continuant part of d at t & d has disposition b because c is a continuant part of d at t + has material basis at some time + + + + + + + + + + + + + + + + + + + + 253-BFO + generically depends on at all times + g-depends on at all times + a g-dependent continuant b g-depends on an independent continuant c at all times =Def for all times t, b exists at t implies (there inheres in c an s-dependent continuant which concretizes b at t) + generically depends on at all times + + + + + + + + + + + + + + + + + + + + 255-BFO + is carrier of at all times + b is carrier of c at all times =Def for all times t, b exists at t implies (c g-depends on b at t) + is carrier of at all times + + + + + + + + + + + 268-BFO + first instant of + t first instant of t' =Def t is a temporal instant & t' is a temporal region t' & t precedes all temporal parts of t' other than t + An hour starting at midnight yesterday has first instant midnight yesterday + first instant of + + + + + + + + + + + 261-BFO + has first instant + t has first instant t' =Def t' first instant of t + The first hour of a year has first instant midnight on December 31 + has first instant + + + + + + + + + + + 269-BFO + last instant of + t last instant of t' =Def t is a temporal instant & t' is a temporal region & all temporal parts of t' other than t precede t + Last midnight is the last instant of yesterday + last instant of + + + + + + + + + + + 215-BFO + has last instant + t has last instant t' =Def t' last instant of t + The last hour of a year has last instant midnight December 31 + has last instant + + + + + + + + + + + + + 001-BFO + entity + (Elucidation) An entity is anything that exists or has existed or will exist + Julius Caesar; the Second World War; your body mass index; Verdi's Requiem + entity + + + + + + + + + + + + + + + + 008-BFO + continuant + (Elucidation) A continuant is an entity that persists, endures, or continues to exist through time while maintaining its identity + A human being; a tennis ball; a cave; a region of space; someone's temperature + continuant + + + + + + + + + 077-BFO + occurrent + (Elucidation) An occurrent is an entity that unfolds itself in time or it is the start or end of such an entity or it is a temporal or spatiotemporal region + As for process, history, process boundary, spatiotemporal region, zero-dimensional temporal region, one-dimensional temporal region, temporal interval, temporal instant. + occurrent + + + + + + + + + + + + + + + 017-BFO + independent continuant + b is an independent continuant =Def b is a continuant & there is no c such that b specifically depends on c or b generically depends on c + An atom; a molecule; an organism; a heart; a chair; the bottom right portion of a human torso; a leg; the interior of your mouth; a spatial region; an orchestra + independent continuant + + + + + + + + + + + + + + + 035-BFO + spatial region + (Elucidation) A spatial region is a continuant entity that is a continuant part of the spatial projection of a portion of spacetime at a given time + As for zero-dimensional spatial region, one-dimensional spatial region, two-dimensional spatial region, three-dimensional spatial region + spatial region + + + + + + + + + + + + + + + + + + + + + 100-BFO + temporal region + (Elucidation) A temporal region is an occurrent over which processes can unfold + As for zero-dimensional temporal region and one-dimensional temporal region + temporal region + + + + + + + + + + + + + + + + + + + + + + + 039-BFO + two-dimensional spatial region + (Elucidation) A two-dimensional spatial region is a spatial region that is a whole consisting of a surface together with zero or more surfaces which may have spatial regions of lower dimension as parts + The surface of a sphere-shaped part of space; an infinitely thin plane in space + two-dimensional spatial region + + + + + + + + + + + + + + + + + + + + + 095-BFO + spatiotemporal region + (Elucidation) A spatiotemporal region is an occurrent that is an occurrent part of spacetime + The spatiotemporal region occupied by the development of a cancer tumour; the spatiotemporal region occupied by an orbiting satellite + spatiotemporal region + 'Spacetime' here refers to the maximal instance of the universal spatiotemporal region. + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + 083-BFO + process + event + (Elucidation) p is a process means p is an occurrent that has some temporal proper part and for some time t, p has some material entity as participant + An act of selling; the life of an organism; a process of sleeping; a process of cell-division; a beating of the heart; a process of meiosis; the taxiing of an aircraft; the programming of a computer + process + + + + + + + + + + 062-BFO + disposition + internally-grounded realizable entity + (Elucidation) A disposition b is a realizable entity such that if b ceases to exist then its bearer is physically changed & b's realization occurs when and because this bearer is in some special physical circumstances & this realization occurs in virtue of the bearer's physical make-up + An atom of element X has the disposition to decay to an atom of element Y; the cell wall is disposed to transport cellular material through endocytosis and exocytosis; certain people have a predisposition to colon cancer; children are innately disposed to categorize objects in certain ways + disposition + + + + + + + + + + 058-BFO + realizable entity + (Elucidation) A realizable entity is a specifically dependent continuant that inheres in some independent continuant which is not a spatial region & which is of a type some instances of which are realized in processes of a correlated type + The role of being a doctor; the role of this boundary to delineate where Utah and Colorado meet; the function of your reproductive organs; the disposition of your blood to coagulate; the disposition of this piece of metal to conduct electricity + realizable entity + + + + + + + + + + + + + + + 037-BFO + zero-dimensional spatial region + (Elucidation) A zero-dimensional spatial region is one or a collection of more than one spatially disjoint points in space + The spatial region occupied at some time instant by the North Pole + zero-dimensional spatial region + + + + + + + + + 055-BFO + quality + (Elucidation) A quality is a specifically dependent continuant that, in contrast to roles and dispositions, does not require any further process in order to be realized + The colour of a tomato; the ambient temperature of this portion of air; the length of the circumference of your waist; the shape of your nose; the shape of your nostril; the mass of this piece of gold + quality + + + + + + + + + 050-BFO + specifically dependent continuant + b is a specifically dependent continuant =Def b is a continuant & there is some independent continuant c which is not a spatial region & which is such that b specifically depends on c + (with multiple bearers) John's love for Mary; the ownership relation between John and this statue; the relation of authority between John and his subordinates + (with one bearer) The mass of this tomato; the pink colour of a medium rare piece of grilled filet mignon at its centre; the smell of this portion of mozzarella; the disposition of this fish to decay; the role of being a doctor; the function of this heart to pump blood; the shape of this hole + specifically dependent continuant + + + + + + + + + 061-BFO + role + externally-grounded realizable entity + (Elucidation) A role b is a realizable entity such that b exists because there is some single bearer that is in some special physical, social, or institutional set of circumstances in which this bearer does not have to be & b is not such that, if it ceases to exist, then the physical make-up of the bearer is thereby changed + The priest role; the student role; the role of subject in a clinical trial; the role of a stone in marking a property boundary; the role of a boundary to demarcate two neighbouring administrative territories; the role of a building in serving as a military target + role + + + + + + + + + 027-BFO + fiat object part + (Elucidation) A fiat object part b is a material entity & such that if b exists then it is continuant part of some object c & demarcated from the remainder of c by one or more fiat surfaces + The upper and lower lobes of the left lung; the dorsal and ventral surfaces of the body; the Western hemisphere of the Earth; the FMA:regional parts of an intact human body + fiat object part + + + + + + + + + + + + + + + + + + + + + + 038-BFO + one-dimensional spatial region + (Elucidation) A one-dimensional spatial region is a whole consisting of a line together with zero or more lines which may have points as parts + An edge of a cube-shaped portion of space; a line connecting two points; two parallel lines extended in space + one-dimensional spatial region + + + + + + + + + 025-BFO + object aggregate + (Elucidation) An object aggregate is a material entity consisting exactly of a plurality (≥1) of objects as member parts which together form a unit + The aggregate of the musicians in a symphony orchestra and their instruments; the aggregate of bearings in a constant velocity axle joint; the nitrogen atoms in the atmosphere; a collection of cells in a blood biobank + object aggregate + 'Exactly' means that there are no parts of the object aggregate other than its member parts. + The unit can, at certain times, consist of exactly one object, for example, when a wolf litter loses all but one of its pups, but it must at some time have a plurality of member parts. + + + + + + + + + + + + + + + 040-BFO + three-dimensional spatial region + (Elucidation) A three-dimensional spatial region is a whole consisting of a spatial volume together with zero or more spatial volumes which may have spatial regions of lower dimension as parts + A cube-shaped region of space; a sphere-shaped region of space; the region of space occupied by all and only the planets in the solar system at some point in time + three-dimensional spatial region + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + 034-BFO + site + (Elucidation) A site is a three-dimensional immaterial entity whose boundaries either (partially or wholly) coincide with the boundaries of one or more material entities or have locations determined in relation to some material entity + A hole in a portion of cheese; a rabbit hole; the Grand Canyon; the Piazza San Marco; the kangaroo-joey-containing hole of a kangaroo pouch; your left nostril (a fiat part - the opening - of your left nasal cavity); the lumen of your gut; the hold of a ship; the interior of the trunk of your car; hole in an engineered floor joist + site + + + + + + + + + 024-BFO + object + (Elucidation) An object is a material entity which manifests causal unity & is of a type instances of which are maximal relative to the sort of causal unity manifested + An organism; a fish tank; a planet; a laptop; a valve; a block of marble; an ice cube + object + A description of three primary sorts of causal unity is provided in Basic Formal Ontology 2.0. Specification and User Guide + + + + + + + + + 074-BFO + generically dependent continuant + g-dependent continuant + (Elucidation) A generically dependent continuant is an entity that exists in virtue of the fact that there is at least one of what may be multiple copies which is the content or the pattern that multiple copies would share + The pdf file on your laptop; the pdf file that is a copy thereof on my laptop; the sequence of this protein molecule; the sequence that is a copy thereof in that protein molecule; the content that is shared by a string of dots and dashes written on a page and the transmitted Morse code signal; the content of a sentence; an engineering blueprint + generically dependent continuant + + + + + + + + + 064-BFO + function + (Elucidation) A function is a disposition that exists in virtue of its bearer's physical make-up & this physical make-up is something the bearer possesses because it came into being either through evolution (in the case of natural biological entities) or through intentional design (in the case of artefacts) in order to realize processes of a certain sort + The function of a hammer to drive in nails; the function of a heart pacemaker to regulate the beating of a heart through electricity + function + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + 084-BFO + process boundary + p is a process boundary =Def p is a temporal part of a process & p has no proper temporal parts + The boundary between the 2nd and 3rd year of your life + process boundary + + + + + + + + + + + + + + + + + + + + + + + + + + + + + 103-BFO + one-dimensional temporal region + (Elucidation) A one-dimensional temporal region is a temporal region that is a whole that has a temporal interval and zero or more temporal intervals and temporal instants as parts + The temporal region during which a process occurs + one-dimensional temporal region + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + 019-BFO + material entity + (Elucidation) A material entity is an independent continuant has some portion of matter as continuant part + A human being; the undetached arm of a human being; an aggregate of human beings + material entity + + + + + + + + + + + + + + + + + + + + + 029-BFO + continuant fiat boundary + (Elucidation) A continuant fiat boundary b is an immaterial entity that is of zero, one or two dimensions & such that there is no time t when b has a spatial region as continuant part & whose location is determined in relation to some material entity + As for fiat point, fiat line, fiat surface + continuant fiat boundary + + + + + + + + + 028-BFO + immaterial entity + b is an immaterial entity =Def b is an independent continuant which is such that there is no time t when it has a material entity as continuant part + As for fiat point, fiat line, fiat surface, site + immaterial entity + + + + + + + + + + + + + + + + + + + + + + 032-BFO + fiat line + (Elucidation) A fiat line is a one-dimensional continuant fiat boundary that is continuous + The Equator; all geopolitical boundaries; all lines of latitude and longitude; the median sulcus of your tongue; the line separating the outer surface of the mucosa of the lower lip from the outer surface of the skin of the chin + fiat line + + + + + + + + + 057-BFO + relational quality + b is a relational quality =Def b is a quality & there exists c and d such that c and d are not identical & b specifically depends on c & b specifically depends on d + A marriage bond; an instance of love; an obligation between one person and another + relational quality + + + + + + + + + + + + + + + 033-BFO + fiat surface + (Elucidation) A fiat surface is a two-dimensional continuant fiat boundary that is self-connected + The surface of the Earth; the plane separating the smoking from the non-smoking zone in a restaurant + fiat surface + + + + + + + + + + + + + + + 031-BFO + fiat point + (Elucidation) A fiat point is a zero-dimensional continuant fiat boundary that consists of a single point + The geographic North Pole; the quadripoint where the boundaries of Colorado, Utah, New Mexico and Arizona meet; the point of origin of some spatial coordinate system + fiat point + + + + + + + + + + + + + + + 102-BFO + zero-dimensional temporal region + (Elucidation) A zero-dimensional temporal region is a temporal region that is a whole consisting of one or more separated temporal instants as parts + A temporal region that is occupied by a process boundary; the moment at which a finger is detached in an industrial accident + zero-dimensional temporal region + + + + + + + + + 138-BFO + history + (Elucidation) A history is a process that is the sum of the totality of processes taking place in the spatiotemporal region occupied by the material part of a material entity + The life of an organism from the beginning to the end of its existence + history + + + + + + + + + 155-BFO + temporal interval + (Elucidation) A temporal interval is a one-dimensional temporal region that is continuous, thus without gaps or breaks + The year 2018. + temporal interval + A one-dimensional temporal region can include as parts not only temporal intervals but also temporal instants separated from other parts by gaps. + + + + + + + + + 209-BFO + temporal instant + (Elucidation) A temporal instant is a zero-dimensional temporal region that has no proper temporal part + The millennium + temporal instant + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + diff --git a/src/owl/temporal extensions/temporalized relations/owl/bfo-temporalized-relations.ttl b/src/owl/profiles/temporal extensions/temporalized relations/owl/bfo-temporalized-relations.ttl similarity index 100% rename from src/owl/temporal extensions/temporalized relations/owl/bfo-temporalized-relations.ttl rename to src/owl/profiles/temporal extensions/temporalized relations/owl/bfo-temporalized-relations.ttl diff --git a/src/owl/profiles/temporal extensions/temporalized relations/owl/catalog-v001.xml b/src/owl/profiles/temporal extensions/temporalized relations/owl/catalog-v001.xml new file mode 100644 index 0000000..229a58a --- /dev/null +++ b/src/owl/profiles/temporal extensions/temporalized relations/owl/catalog-v001.xml @@ -0,0 +1,6 @@ + + + + + + diff --git a/src/owl/temporal extensions/temporalized relations/owl/bfo-temporalized-relations.owl b/src/owl/temporal extensions/temporalized relations/owl/bfo-temporalized-relations.owl deleted file mode 100644 index a12e62d..0000000 --- a/src/owl/temporal extensions/temporalized relations/owl/bfo-temporalized-relations.owl +++ /dev/null @@ -1,4300 +0,0 @@ - - - - - - - - - - - - - - - Alan Ruttenberg - - - - Albert Goldfain - - - - Barry Smith - - - - Bill Duncan - - - - Bjoern Peters - - - - Chris Mungall - - - - David Osumi-Sutherland - - - - Fabian Neuhaus - - - - James A. Overton - - - - Janna Hastings - - - - Jie Zheng - - - - John Beverley - - - - Jonathan Bona - - - - Larry Hunter - - - - Leonard Jacuzzo - - - - Ludger Jansen - - - - Mark Jensen - - - - Mark Ressler - - - - Mathias Brochhausen - - - - Mauricio Almeida - - - - Melanie Courtot - - - - Neil Otte - - - - Pierre Grenon - - - - Randall Dipert - - - - Robert Rovetto - - - - Ron Rudnicki - - - - Stefan Schulz - - - - Thomas Bittner - - - - Werner Ceusters - - - - Yongqun "Oliver" He - - - - A temporal extension of Basic Formal Ontology implemented in the Web Ontology Language (OWL 2) with direct semantics. - - - - https://creativecommons.org/licenses/by/4.0/ - - - - BFO 2020 - - - - The most recent version of this file will always be in the GitHub repository https://github.com/bfo-ontology/bfo-2020 - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - obo:BFO_0000001 - 001-BFO - - - - obo:BFO_0000001 - entity - - - - obo:BFO_0000001 - (Elucidation) An entity is anything that exists or has existed or will exist - - - - obo:BFO_0000001 - Julius Caesar; the Second World War; your body mass index; Verdi's Requiem - - - - obo:BFO_0000001 - entity - - - - obo:BFO_0000002 - 008-BFO - - - - obo:BFO_0000002 - continuant - - - - obo:BFO_0000002 - (Elucidation) A continuant is an entity that persists, endures, or continues to exist through time while maintaining its identity - - - - obo:BFO_0000002 - A human being; a tennis ball; a cave; a region of space; someone's temperature - - - - obo:BFO_0000002 - continuant - - - - obo:BFO_0000003 - 077-BFO - - - - obo:BFO_0000003 - occurrent - - - - obo:BFO_0000003 - (Elucidation) An occurrent is an entity that unfolds itself in time or it is the start or end of such an entity or it is a temporal or spatiotemporal region - - - - obo:BFO_0000003 - As for process, history, process boundary, spatiotemporal region, zero-dimensional temporal region, one-dimensional temporal region, temporal interval, temporal instant. - - - - obo:BFO_0000003 - occurrent - - - - obo:BFO_0000004 - 017-BFO - - - - obo:BFO_0000004 - independent continuant - - - - obo:BFO_0000004 - b is an independent continuant =Def b is a continuant & there is no c such that b specifically depends on c or b generically depends on c - - - - obo:BFO_0000004 - An atom; a molecule; an organism; a heart; a chair; the bottom right portion of a human torso; a leg; the interior of your mouth; a spatial region; an orchestra - - - - obo:BFO_0000004 - independent continuant - - - - obo:BFO_0000006 - 035-BFO - - - - obo:BFO_0000006 - spatial region - - - - obo:BFO_0000006 - (Elucidation) A spatial region is a continuant entity that is a continuant part of the spatial projection of a portion of spacetime at a given time - - - - obo:BFO_0000006 - As for zero-dimensional spatial region, one-dimensional spatial region, two-dimensional spatial region, three-dimensional spatial region - - - - obo:BFO_0000006 - spatial region - - - - obo:BFO_0000008 - 100-BFO - - - - obo:BFO_0000008 - temporal region - - - - obo:BFO_0000008 - (Elucidation) A temporal region is an occurrent over which processes can unfold - - - - obo:BFO_0000008 - As for zero-dimensional temporal region and one-dimensional temporal region - - - - obo:BFO_0000008 - temporal region - - - - obo:BFO_0000009 - 039-BFO - - - - obo:BFO_0000009 - two-dimensional spatial region - - - - obo:BFO_0000009 - (Elucidation) A two-dimensional spatial region is a spatial region that is a whole consisting of a surface together with zero or more surfaces which may have spatial regions of lower dimension as parts - - - - obo:BFO_0000009 - The surface of a sphere-shaped part of space; an infinitely thin plane in space - - - - obo:BFO_0000009 - two-dimensional spatial region - - - - obo:BFO_0000011 - 095-BFO - - - - obo:BFO_0000011 - spatiotemporal region - - - - obo:BFO_0000011 - (Elucidation) A spatiotemporal region is an occurrent that is an occurrent part of spacetime - - - - obo:BFO_0000011 - The spatiotemporal region occupied by the development of a cancer tumour; the spatiotemporal region occupied by an orbiting satellite - - - - obo:BFO_0000011 - spatiotemporal region - - - - obo:BFO_0000011 - 'Spacetime' here refers to the maximal instance of the universal spatiotemporal region. - - - - obo:BFO_0000015 - 083-BFO - - - - obo:BFO_0000015 - process - - - - obo:BFO_0000015 - event - - - - obo:BFO_0000015 - (Elucidation) p is a process means p is an occurrent that has some temporal proper part and for some time t, p has some material entity as participant - - - - obo:BFO_0000015 - An act of selling; the life of an organism; a process of sleeping; a process of cell-division; a beating of the heart; a process of meiosis; the taxiing of an aircraft; the programming of a computer - - - - obo:BFO_0000015 - process - - - - obo:BFO_0000016 - 062-BFO - - - - obo:BFO_0000016 - disposition - - - - obo:BFO_0000016 - internally-grounded realizable entity - - - - obo:BFO_0000016 - (Elucidation) A disposition b is a realizable entity such that if b ceases to exist then its bearer is physically changed & b's realization occurs when and because this bearer is in some special physical circumstances & this realization occurs in virtue of the bearer's physical make-up - - - - obo:BFO_0000016 - An atom of element X has the disposition to decay to an atom of element Y; the cell wall is disposed to transport cellular material through endocytosis and exocytosis; certain people have a predisposition to colon cancer; children are innately disposed to categorize objects in certain ways - - - - obo:BFO_0000016 - disposition - - - - obo:BFO_0000017 - 058-BFO - - - - obo:BFO_0000017 - realizable entity - - - - obo:BFO_0000017 - (Elucidation) A realizable entity is a specifically dependent continuant that inheres in some independent continuant which is not a spatial region & which is of a type some instances of which are realized in processes of a correlated type - - - - obo:BFO_0000017 - The role of being a doctor; the role of this boundary to delineate where Utah and Colorado meet; the function of your reproductive organs; the disposition of your blood to coagulate; the disposition of this piece of metal to conduct electricity - - - - obo:BFO_0000017 - realizable entity - - - - obo:BFO_0000018 - 037-BFO - - - - obo:BFO_0000018 - zero-dimensional spatial region - - - - obo:BFO_0000018 - (Elucidation) A zero-dimensional spatial region is one or a collection of more than one spatially disjoint points in space - - - - obo:BFO_0000018 - The spatial region occupied at some time instant by the North Pole - - - - obo:BFO_0000018 - zero-dimensional spatial region - - - - obo:BFO_0000019 - 055-BFO - - - - obo:BFO_0000019 - quality - - - - obo:BFO_0000019 - (Elucidation) A quality is a specifically dependent continuant that, in contrast to roles and dispositions, does not require any further process in order to be realized - - - - obo:BFO_0000019 - The colour of a tomato; the ambient temperature of this portion of air; the length of the circumference of your waist; the shape of your nose; the shape of your nostril; the mass of this piece of gold - - - - obo:BFO_0000019 - quality - - - - obo:BFO_0000020 - 050-BFO - - - - obo:BFO_0000020 - specifically dependent continuant - - - - obo:BFO_0000020 - b is a specifically dependent continuant =Def b is a continuant & there is some independent continuant c which is not a spatial region & which is such that b specifically depends on c - - - - obo:BFO_0000020 - (with multiple bearers) John's love for Mary; the ownership relation between John and this statue; the relation of authority between John and his subordinates - - - - obo:BFO_0000020 - (with one bearer) The mass of this tomato; the pink colour of a medium rare piece of grilled filet mignon at its centre; the smell of this portion of mozzarella; the disposition of this fish to decay; the role of being a doctor; the function of this heart to pump blood; the shape of this hole - - - - obo:BFO_0000020 - specifically dependent continuant - - - - obo:BFO_0000023 - 061-BFO - - - - obo:BFO_0000023 - role - - - - obo:BFO_0000023 - externally-grounded realizable entity - - - - obo:BFO_0000023 - (Elucidation) A role b is a realizable entity such that b exists because there is some single bearer that is in some special physical, social, or institutional set of circumstances in which this bearer does not have to be & b is not such that, if it ceases to exist, then the physical make-up of the bearer is thereby changed - - - - obo:BFO_0000023 - The priest role; the student role; the role of subject in a clinical trial; the role of a stone in marking a property boundary; the role of a boundary to demarcate two neighbouring administrative territories; the role of a building in serving as a military target - - - - obo:BFO_0000023 - role - - - - obo:BFO_0000024 - 027-BFO - - - - obo:BFO_0000024 - fiat object part - - - - obo:BFO_0000024 - (Elucidation) A fiat object part b is a material entity & such that if b exists then it is continuant part of some object c & demarcated from the remainder of c by one or more fiat surfaces - - - - obo:BFO_0000024 - The upper and lower lobes of the left lung; the dorsal and ventral surfaces of the body; the Western hemisphere of the Earth; the FMA:regional parts of an intact human body - - - - obo:BFO_0000024 - fiat object part - - - - obo:BFO_0000026 - 038-BFO - - - - obo:BFO_0000026 - one-dimensional spatial region - - - - obo:BFO_0000026 - (Elucidation) A one-dimensional spatial region is a whole consisting of a line together with zero or more lines which may have points as parts - - - - obo:BFO_0000026 - An edge of a cube-shaped portion of space; a line connecting two points; two parallel lines extended in space - - - - obo:BFO_0000026 - one-dimensional spatial region - - - - obo:BFO_0000027 - 025-BFO - - - - obo:BFO_0000027 - object aggregate - - - - obo:BFO_0000027 - (Elucidation) An object aggregate is a material entity consisting exactly of a plurality (≥1) of objects as member parts which together form a unit - - - - obo:BFO_0000027 - The aggregate of the musicians in a symphony orchestra and their instruments; the aggregate of bearings in a constant velocity axle joint; the nitrogen atoms in the atmosphere; a collection of cells in a blood biobank - - - - obo:BFO_0000027 - object aggregate - - - - obo:BFO_0000027 - 'Exactly' means that there are no parts of the object aggregate other than its member parts. - - - - obo:BFO_0000027 - The unit can, at certain times, consist of exactly one object, for example, when a wolf litter loses all but one of its pups, but it must at some time have a plurality of member parts. - - - - obo:BFO_0000028 - 040-BFO - - - - obo:BFO_0000028 - three-dimensional spatial region - - - - obo:BFO_0000028 - (Elucidation) A three-dimensional spatial region is a whole consisting of a spatial volume together with zero or more spatial volumes which may have spatial regions of lower dimension as parts - - - - obo:BFO_0000028 - A cube-shaped region of space; a sphere-shaped region of space; the region of space occupied by all and only the planets in the solar system at some point in time - - - - obo:BFO_0000028 - three-dimensional spatial region - - - - obo:BFO_0000029 - 034-BFO - - - - obo:BFO_0000029 - site - - - - obo:BFO_0000029 - (Elucidation) A site is a three-dimensional immaterial entity whose boundaries either (partially or wholly) coincide with the boundaries of one or more material entities or have locations determined in relation to some material entity - - - - obo:BFO_0000029 - A hole in a portion of cheese; a rabbit hole; the Grand Canyon; the Piazza San Marco; the kangaroo-joey-containing hole of a kangaroo pouch; your left nostril (a fiat part - the opening - of your left nasal cavity); the lumen of your gut; the hold of a ship; the interior of the trunk of your car; hole in an engineered floor joist - - - - obo:BFO_0000029 - site - - - - obo:BFO_0000030 - 024-BFO - - - - obo:BFO_0000030 - object - - - - obo:BFO_0000030 - (Elucidation) An object is a material entity which manifests causal unity & is of a type instances of which are maximal relative to the sort of causal unity manifested - - - - obo:BFO_0000030 - An organism; a fish tank; a planet; a laptop; a valve; a block of marble; an ice cube - - - - obo:BFO_0000030 - object - - - - obo:BFO_0000030 - A description of three primary sorts of causal unity is provided in Basic Formal Ontology 2.0. Specification and User Guide - - - - obo:BFO_0000031 - 074-BFO - - - - obo:BFO_0000031 - generically dependent continuant - - - - obo:BFO_0000031 - g-dependent continuant - - - - obo:BFO_0000031 - (Elucidation) A generically dependent continuant is an entity that exists in virtue of the fact that there is at least one of what may be multiple copies which is the content or the pattern that multiple copies would share - - - - obo:BFO_0000031 - The pdf file on your laptop; the pdf file that is a copy thereof on my laptop; the sequence of this protein molecule; the sequence that is a copy thereof in that protein molecule; the content that is shared by a string of dots and dashes written on a page and the transmitted Morse code signal; the content of a sentence; an engineering blueprint - - - - obo:BFO_0000031 - generically dependent continuant - - - - obo:BFO_0000034 - 064-BFO - - - - obo:BFO_0000034 - function - - - - obo:BFO_0000034 - (Elucidation) A function is a disposition that exists in virtue of its bearer's physical make-up & this physical make-up is something the bearer possesses because it came into being either through evolution (in the case of natural biological entities) or through intentional design (in the case of artefacts) in order to realize processes of a certain sort - - - - obo:BFO_0000034 - The function of a hammer to drive in nails; the function of a heart pacemaker to regulate the beating of a heart through electricity - - - - obo:BFO_0000034 - function - - - - obo:BFO_0000035 - 084-BFO - - - - obo:BFO_0000035 - process boundary - - - - obo:BFO_0000035 - p is a process boundary =Def p is a temporal part of a process & p has no proper temporal parts - - - - obo:BFO_0000035 - The boundary between the 2nd and 3rd year of your life - - - - obo:BFO_0000035 - process boundary - - - - obo:BFO_0000038 - 103-BFO - - - - obo:BFO_0000038 - one-dimensional temporal region - - - - obo:BFO_0000038 - (Elucidation) A one-dimensional temporal region is a temporal region that is a whole that has a temporal interval and zero or more temporal intervals and temporal instants as parts - - - - obo:BFO_0000038 - The temporal region during which a process occurs - - - - obo:BFO_0000038 - one-dimensional temporal region - - - - obo:BFO_0000040 - 019-BFO - - - - obo:BFO_0000040 - material entity - - - - obo:BFO_0000040 - (Elucidation) A material entity is an independent continuant has some portion of matter as continuant part - - - - obo:BFO_0000040 - A human being; the undetached arm of a human being; an aggregate of human beings - - - - obo:BFO_0000040 - material entity - - - - obo:BFO_0000054 - 206-BFO - - - - obo:BFO_0000054 - has realization - - - - obo:BFO_0000054 - realized in - - - - obo:BFO_0000054 - b has realization c =Def c realizes b - - - - obo:BFO_0000054 - As for realizes - - - - obo:BFO_0000054 - has realization - - - - obo:BFO_0000055 - 059-BFO - - - - obo:BFO_0000055 - realizes - - - - obo:BFO_0000055 - (Elucidation) realizes is a relation between a process b and realizable entity c such that c inheres in some d & for all t, if b has participant d then c exists & the type instantiated by b is correlated with the type instantiated by c - - - - obo:BFO_0000055 - A balding process realizes a disposition to go bald; a studying process realizes a student role; a process of pumping blood realizes the pumping function of a heart - - - - obo:BFO_0000055 - realizes - - - - obo:BFO_0000056 - 250-BFO - - - - obo:BFO_0000056 - participates in - - - - obo:BFO_0000056 - (Elucidation) participates in holds between some b that is either a specifically dependent continuant or generically dependent continuant or independent continuant that is not a spatial region & some process p such that b participates in p some way - - - - obo:BFO_0000056 - participates in at some time - - - - obo:BFO_0000057 - 248-BFO - - - - obo:BFO_0000057 - has participant - - - - obo:BFO_0000057 - p has participant c =Def c participates in p - - - - obo:BFO_0000057 - has participant at some time - - - - obo:BFO_0000058 - 258-BFO - - - - obo:BFO_0000058 - is concretized by - - - - obo:BFO_0000058 - c is concretized by b =Def b concretizes c - - - - obo:BFO_0000058 - is concretized by at some time - - - - obo:BFO_0000059 - 256-BFO - - - - obo:BFO_0000059 - concretizes - - - - obo:BFO_0000059 - b concretizes c =Def b is a process or a specifically dependent continuant & c is a generically dependent continuant & there is some time t such that c is the pattern or content which b shares at t with actual or potential copies - - - - obo:BFO_0000059 - concretizes at some time - - - - obo:BFO_0000062 - 213-BFO - - - - obo:BFO_0000062 - preceded by - - - - obo:BFO_0000062 - b preceded by c =Def b precedes c - - - - obo:BFO_0000062 - The temporal region occupied by the second half of the match is preceded by the temporal region occupied by the first half of the match - - - - obo:BFO_0000062 - preceded by - - - - obo:BFO_0000063 - 270-BFO - - - - obo:BFO_0000063 - precedes - - - - obo:BFO_0000063 - (Elucidation) precedes is a relation between occurrents o, o' such that if t is the temporal extent of o & t' is the temporal extent of o' then either the last instant of o is before the first instant of o' or the last instant of o is the first instant of o' & neither o nor o' are temporal instants - - - - obo:BFO_0000063 - The temporal region occupied by Mary's birth precedes the temporal region occupied by Mary's death. - - - - obo:BFO_0000063 - precedes - - - - obo:BFO_0000063 - Each temporal region is its own temporal extent. The temporal extent of a spatiotemporal region is the temporal region it temporally projects onto. The temporal extent of a process or process boundary that occupies temporal region t is t. - - - - obo:BFO_0000063 - Precedes defines a strict partial order on occurrents. - - - - obo:BFO_0000066 - 143-BFO - - - - obo:BFO_0000066 - occurs in - - - - obo:BFO_0000066 - b occurs in c =Def b is a process or a process boundary & c is a material entity or site & there exists a spatiotemporal region r & b occupies spatiotemporal region r & for all time 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 occupies spatial region s' at t & s is a continuant part of s' at t - - - - obo:BFO_0000066 - A process of digestion occurs in the interior of an organism; a process of loading artillery rounds into a tank cannon occurs in the interior of the tank - - - - obo:BFO_0000066 - occurs in - - - - obo:BFO_0000082 - 235-BFO - - - - obo:BFO_0000082 - located in at all times - - - - obo:BFO_0000082 - b located in c at all times =Def for all times t, b exists at t implies (b and c are independent continuants and not spatial regions, and the spatial region which b occupies at t is a (proper or improper) continuant part of the spatial region which c occupies at t) - - - - obo:BFO_0000082 - located in at all times - - - - obo:BFO_0000084 - 252-BFO - - - - obo:BFO_0000084 - generically depends on - - - - obo:BFO_0000084 - g-depends on - - - - obo:BFO_0000084 - b generically depends on c =Def b is a generically dependent continuant & c is an independent continuant that is not a spatial region & at some time t there inheres in c a specifically dependent continuant which concretizes b at t - - - - obo:BFO_0000084 - generically depends on at some time - - - - obo:BFO_0000101 - 254-BFO - - - - obo:BFO_0000101 - is carrier of - - - - obo:BFO_0000101 - b is carrier of c =Def there is some time t such that c generically depends on b at t - - - - obo:BFO_0000101 - is carrier of at some time - - - - obo:BFO_0000108 - 118-BFO - - - - obo:BFO_0000108 - exists at - - - - obo:BFO_0000108 - (Elucidation) exists at is a relation between a particular and some temporal region at which the particular exists - - - - obo:BFO_0000108 - First World War exists at 1914-1916; Mexico exists at January 1, 2000 - - - - obo:BFO_0000108 - exists at - - - - obo:BFO_0000110 - 223-BFO - - - - obo:BFO_0000110 - has continuant part at all times - - - - obo:BFO_0000110 - b has continuant part c at all times =Def for all times t, b exists at t implies (b and c are continuants & b is a part of c at t) - - - - obo:BFO_0000110 - has continuant part at all times - - - - obo:BFO_0000111 - 227-BFO - - - - obo:BFO_0000111 - has proper continuant part at all times - - - - obo:BFO_0000111 - b has proper continuant part c at all times =Def c proper continuant part of b at all times - - - - obo:BFO_0000111 - has proper continuant part at all times - - - - obo:BFO_0000113 - 243-BFO - - - - obo:BFO_0000113 - has material basis at all times - - - - obo:BFO_0000113 - b has material basis c at all times =Def For all times t, b exists at t implies (b is a disposition & c is a material entity & there is some d bearer of b & c continuant part of d at t & d has disposition b because c continuant part of d at t) - - - - obo:BFO_0000113 - has material basis at all times - - - - obo:BFO_0000115 - 230-BFO - - - - obo:BFO_0000115 - has member part - - - - obo:BFO_0000115 - b has member part c =Def c member part of b - - - - obo:BFO_0000115 - has member part at some time - - - - obo:BFO_0000117 - 202-BFO - - - - obo:BFO_0000117 - has occurrent part - - - - obo:BFO_0000117 - b has occurrent part c =Def c occurrent part of b - - - - obo:BFO_0000117 - Mary's life has occurrent part Mary's 5th birthday - - - - obo:BFO_0000117 - has occurrent part - - - - obo:BFO_0000118 - 154-BFO - - - - obo:BFO_0000118 - has proper occurrent part - - - - obo:BFO_0000118 - b has proper occurrent part c =Def b has occurrent part c & b and c are not identical - - - - obo:BFO_0000118 - As for has occurrent part. - - - - obo:BFO_0000118 - has proper occurrent part - - - - obo:BFO_0000121 - 211-BFO - - - - obo:BFO_0000121 - has temporal part - - - - obo:BFO_0000121 - b has temporal part c =Def c temporal part of b - - - - obo:BFO_0000121 - Your life has temporal part the first year of your life. - - - - obo:BFO_0000121 - has temporal part - - - - obo:BFO_0000124 - 236-BFO - - - - obo:BFO_0000124 - location of - - - - obo:BFO_0000124 - b location of c =Def c located in b - - - - obo:BFO_0000124 - location of at some time - - - - obo:BFO_0000127 - 244-BFO - - - - obo:BFO_0000127 - material basis of - - - - obo:BFO_0000127 - b material basis of c =Def c has material basis b - - - - obo:BFO_0000127 - material basis of at some time - - - - obo:BFO_0000129 - 228-BFO - - - - obo:BFO_0000129 - member part of - - - - obo:BFO_0000129 - b member part of c =Def b is an object & c is a material entity & there is some time t such that b continuant part of c at t & there is a mutually exhaustive and pairwise disjoint partition of c into objects x1, ..., xn (for some n ≠ 1) with b = xi (for some 1 <= i <= n) - - - - obo:BFO_0000129 - member part of at some time - - - - obo:BFO_0000132 - 003-BFO - - - - obo:BFO_0000132 - occurrent part of - - - - obo:BFO_0000132 - (Elucidation) occurrent part of is a relation between occurrents b and c when b is part of c - - - - obo:BFO_0000132 - Mary's 5th birthday is an occurrent part of Mary's life; the first set of the tennis match is an occurrent part of the tennis match - - - - obo:BFO_0000132 - occurrent part of - - - - obo:BFO_0000136 - 116-BFO - - - - obo:BFO_0000136 - proper temporal part of - - - - obo:BFO_0000136 - b proper temporal part of c =Def b temporal part of c & not (b = c) - - - - obo:BFO_0000136 - As for temporal part of. - - - - obo:BFO_0000136 - proper temporal part of - - - - obo:BFO_0000137 - 225-BFO - - - - obo:BFO_0000137 - proper continuant part of at all times - - - - obo:BFO_0000137 - b proper continuant part of c at all times =Def for all times t, b exists at t implies (b continuant part of c at t & not (c proper continuant part of b at t)) - - - - obo:BFO_0000137 - proper continuant part of at all times - - - - obo:BFO_0000138 - 005-BFO - - - - obo:BFO_0000138 - proper occurrent part of - - - - obo:BFO_0000138 - b proper occurrent part of c =Def b occurrent part of c & b and c are not identical - - - - obo:BFO_0000138 - As for occurrent part of. - - - - obo:BFO_0000138 - proper occurrent part of - - - - obo:BFO_0000139 - 078-BFO - - - - obo:BFO_0000139 - temporal part of - - - - obo:BFO_0000139 - b temporal part of c =Def b occurrent part of c & (b and c are temporal regions) or (b and c are spatiotemporal regions & b temporally projects onto an occurrent part of the temporal region that c temporally projects onto) or (b and c are processes or process boundaries & b occupies a temporal region that is an occurrent part of the temporal region that c occupies) - - - - obo:BFO_0000139 - Your heart beating from 4pm to 5pm today is a temporal part of the process of your heart beating; the 4th year of your life is a temporal part of your life, as is the process boundary which separates the 3rd and 4th years of your life; the first quarter of a game of football is a temporal part of the whole game - - - - obo:BFO_0000139 - temporal part of - - - - obo:BFO_0000140 - 029-BFO - - - - obo:BFO_0000140 - continuant fiat boundary - - - - obo:BFO_0000140 - (Elucidation) A continuant fiat boundary b is an immaterial entity that is of zero, one or two dimensions & such that there is no time t when b has a spatial region as continuant part & whose location is determined in relation to some material entity - - - - obo:BFO_0000140 - As for fiat point, fiat line, fiat surface - - - - obo:BFO_0000140 - continuant fiat boundary - - - - obo:BFO_0000141 - 028-BFO - - - - obo:BFO_0000141 - immaterial entity - - - - obo:BFO_0000141 - b is an immaterial entity =Def b is an independent continuant which is such that there is no time t when it has a material entity as continuant part - - - - obo:BFO_0000141 - As for fiat point, fiat line, fiat surface, site - - - - obo:BFO_0000141 - immaterial entity - - - - obo:BFO_0000142 - 032-BFO - - - - obo:BFO_0000142 - fiat line - - - - obo:BFO_0000142 - (Elucidation) A fiat line is a one-dimensional continuant fiat boundary that is continuous - - - - obo:BFO_0000142 - The Equator; all geopolitical boundaries; all lines of latitude and longitude; the median sulcus of your tongue; the line separating the outer surface of the mucosa of the lower lip from the outer surface of the skin of the chin - - - - obo:BFO_0000142 - fiat line - - - - obo:BFO_0000145 - 057-BFO - - - - obo:BFO_0000145 - relational quality - - - - obo:BFO_0000145 - b is a relational quality =Def b is a quality & there exists c and d such that c and d are not identical & b specifically depends on c & b specifically depends on d - - - - obo:BFO_0000145 - A marriage bond; an instance of love; an obligation between one person and another - - - - obo:BFO_0000145 - relational quality - - - - obo:BFO_0000146 - 033-BFO - - - - obo:BFO_0000146 - fiat surface - - - - obo:BFO_0000146 - (Elucidation) A fiat surface is a two-dimensional continuant fiat boundary that is self-connected - - - - obo:BFO_0000146 - The surface of the Earth; the plane separating the smoking from the non-smoking zone in a restaurant - - - - obo:BFO_0000146 - fiat surface - - - - obo:BFO_0000147 - 031-BFO - - - - obo:BFO_0000147 - fiat point - - - - obo:BFO_0000147 - (Elucidation) A fiat point is a zero-dimensional continuant fiat boundary that consists of a single point - - - - obo:BFO_0000147 - The geographic North Pole; the quadripoint where the boundaries of Colorado, Utah, New Mexico and Arizona meet; the point of origin of some spatial coordinate system - - - - obo:BFO_0000147 - fiat point - - - - obo:BFO_0000148 - 102-BFO - - - - obo:BFO_0000148 - zero-dimensional temporal region - - - - obo:BFO_0000148 - (Elucidation) A zero-dimensional temporal region is a temporal region that is a whole consisting of one or more separated temporal instants as parts - - - - obo:BFO_0000148 - A temporal region that is occupied by a process boundary; the moment at which a finger is detached in an industrial accident - - - - obo:BFO_0000148 - zero-dimensional temporal region - - - - obo:BFO_0000153 - 080-BFO - - - - obo:BFO_0000153 - temporally projects onto - - - - obo:BFO_0000153 - (Elucidation) temporally projects onto is a relation between a spatiotemporal region s and some temporal region which is the temporal extent of s - - - - obo:BFO_0000153 - The world line of a particle temporally projects onto the temporal region extending from the beginning to the end of the existence of the particle - - - - obo:BFO_0000153 - temporally projects onto - - - - obo:BFO_0000163 - 245-BFO - - - - obo:BFO_0000163 - material basis of at all times - - - - obo:BFO_0000163 - b material basis of c at all times =Def for all times t, b exists at t implies (c has material basis b at t) - - - - obo:BFO_0000163 - material basis of at all times - - - - obo:BFO_0000164 - 257-BFO - - - - obo:BFO_0000164 - concretizes at all times - - - - obo:BFO_0000164 - an s-dependent continuant b concretizes a g-dependent continuant c at all times =Def for all times t, b exists at t implies (c is the pattern or content which b shares at t with actual or potential copies) - - - - obo:BFO_0000164 - concretizes at all times - - - - obo:BFO_0000165 - 259-BFO - - - - obo:BFO_0000165 - is concretized by at all times - - - - obo:BFO_0000165 - a g-dependent continuant c is concretized by an s-dependent continuant or process b at all times =Def for all times t, b exists at t implies (b concretizes c at t) - - - - obo:BFO_0000165 - is concretized by at all times - - - - obo:BFO_0000166 - 251-BFO - - - - obo:BFO_0000166 - participates in at all times - - - - obo:BFO_0000166 - b participates in p at all times =Def for all times t, b exists at t implies (p has participant b at t) - - - - obo:BFO_0000166 - participates in at all times - - - - obo:BFO_0000167 - 249-BFO - - - - obo:BFO_0000167 - has participant at all times - - - - obo:BFO_0000167 - p has participant c at all times =Def for all times t, p exists at t implies (p is a process, c is a continuant, and c participates in p some way at t) - - - - obo:BFO_0000167 - has participant at all times - - - - obo:BFO_0000170 - 237-BFO - - - - obo:BFO_0000170 - location of at all times - - - - obo:BFO_0000170 - b location of c at all times =Def for all times t, b exists at t implies (c located in b at t) - - - - obo:BFO_0000170 - location of at all times - - - - obo:BFO_0000171 - 234-BFO - - - - obo:BFO_0000171 - located in - - - - obo:BFO_0000171 - b located in c =Def b is an independent continuant & c is an independent & neither is a spatial region & there is some time t such that the spatial region which b occupies at t is continuant part of the spatial region which c occupies at t - - - - obo:BFO_0000171 - located in at some time - - - - obo:BFO_0000172 - 231-BFO - - - - obo:BFO_0000172 - has member part at all times - - - - obo:BFO_0000172 - b has member part c at all times =Def for all times t, b exists at t implies (c member part b at t) - - - - obo:BFO_0000172 - has member part at all times - - - - obo:BFO_0000173 - 229-BFO - - - - obo:BFO_0000173 - member part of at all times - - - - obo:BFO_0000173 - b member part of c at all times =Def for all times t, b exists at t implies (b is an object & c is an object aggregate & there is at t a mutually exhaustive and pairwise disjoint partition of c into objects x1,..., xn (for some n ≠ 1) with b = xi (for some 1 <= i <= n)) - - - - obo:BFO_0000173 - member part of at all times - - - - obo:BFO_0000174 - 226-BFO - - - - obo:BFO_0000174 - has proper continuant part at some time - - - - obo:BFO_0000174 - b has proper continuant part c at some time =Def c proper continuant part of b at some time - - - - obo:BFO_0000174 - has proper continuant part at some time - - - - obo:BFO_0000175 - 224-BFO - - - - obo:BFO_0000175 - proper continuant part of at some time - - - - obo:BFO_0000175 - b proper continuant part of c at some time =Def for some time t (b continuant part of c at t & not (c continuant part of b at t) - - - - obo:BFO_0000175 - proper continuant part of at some time - - - - obo:BFO_0000176 - 221-BFO - - - - obo:BFO_0000176 - continuant part of - - - - obo:BFO_0000176 - b continuant part of c =Def b and c are continuants & there is some time t such that b and c exist at t & b continuant part of c at t - - - - obo:BFO_0000176 - Milk teeth continuant part of human; surgically removed tumour continuant part of organism - - - - obo:BFO_0000176 - continuant part of at some time - - - - obo:BFO_0000177 - 222-BFO - - - - obo:BFO_0000177 - continuant part of at all times - - - - obo:BFO_0000177 - b continuant part of c at all times =Def for all times t, (b exists at t, implies b continuant part of c at t & t is a temporal region & b and c are continuants) - - - - obo:BFO_0000177 - Centre of mass of a material entity continuant part of material entity at all times; continuant fiat external boundary of an object continuant part of object at all times. - - - - obo:BFO_0000177 - continuant part of at all times - - - - obo:BFO_0000178 - 271-BFO - - - - obo:BFO_0000178 - has continuant part - - - - obo:BFO_0000178 - b has continuant part c =Def c continuant part of b - - - - obo:BFO_0000178 - has continuant part at some time - - - - obo:BFO_0000181 - 212-BFO - - - - obo:BFO_0000181 - has proper temporal part - - - - obo:BFO_0000181 - b has proper temporal part c =Def c proper temporal part of b - - - - obo:BFO_0000181 - As for has temporal part. - - - - obo:BFO_0000181 - has proper temporal part - - - - obo:BFO_0000182 - 138-BFO - - - - obo:BFO_0000182 - history - - - - obo:BFO_0000182 - (Elucidation) A history is a process that is the sum of the totality of processes taking place in the spatiotemporal region occupied by the material part of a material entity - - - - obo:BFO_0000182 - The life of an organism from the beginning to the end of its existence - - - - obo:BFO_0000182 - history - - - - obo:BFO_0000183 - 267-BFO - - - - obo:BFO_0000183 - environs - - - - obo:BFO_0000183 - b environs c =Def c occurs in b - - - - obo:BFO_0000183 - Mouth environs process of mastication; city environs traffic - - - - obo:BFO_0000183 - environs - - - - obo:BFO_0000184 - 144-BFO - - - - obo:BFO_0000184 - history of - - - - obo:BFO_0000184 - (Elucidation) history of is a relation between history b and material entity c such that b is the unique history of c - - - - obo:BFO_0000184 - This life is the history of this organism. - - - - obo:BFO_0000184 - history of - - - - obo:BFO_0000185 - 145-BFO - - - - obo:BFO_0000185 - has history - - - - obo:BFO_0000185 - b has history c =Def c history of b - - - - obo:BFO_0000185 - This organism has history this life - - - - obo:BFO_0000185 - has history - - - - obo:BFO_0000194 - 260-BFO - - - - obo:BFO_0000194 - specifically depended on by - - - - obo:BFO_0000194 - s-depended on by - - - - obo:BFO_0000194 - b specifically depended on by c =Def c specifically depends on b - - - - obo:BFO_0000194 - Coloured object specifically depended on by colour - - - - obo:BFO_0000194 - specifically depended on by - - - - obo:BFO_0000195 - 012-BFO - - - - obo:BFO_0000195 - specifically depends on - - - - obo:BFO_0000195 - s-depends on - - - - obo:BFO_0000195 - (Elucidation) specifically depends on is a relation between a specifically dependent continuant b and specifically dependent continuant or independent continuant that is not a spatial region c such that b and c share no parts in common & b is of a nature such that at all times t it cannot exist unless c exists & b is not a boundary of c - - - - obo:BFO_0000195 - A shape specifically depends on the shaped object; hue, saturation and brightness of a colour sample specifically depends on each other - - - - obo:BFO_0000195 - specifically depends on - - - - obo:BFO_0000195 - The analogue of specifically depends on for occurrents is has participant. - - - - obo:BFO_0000196 - 053-BFO - - - - obo:BFO_0000196 - bearer of - - - - obo:BFO_0000196 - b bearer of c =Def c inheres in b - - - - obo:BFO_0000196 - A patch of ink is the bearer of a colour quality; an organism is the bearer of a temperature quality - - - - obo:BFO_0000196 - bearer of - - - - obo:BFO_0000197 - 051-BFO - - - - obo:BFO_0000197 - inheres in - - - - obo:BFO_0000197 - b inheres in c =Def b is a specifically dependent continuant & c is an independent continuant that is not a spatial region & b specifically depends on c - - - - obo:BFO_0000197 - A shape inheres in a shaped object; a mass inheres in a material entity - - - - obo:BFO_0000197 - inheres in - - - - obo:BFO_0000199 - 132-BFO - - - - obo:BFO_0000199 - occupies temporal region - - - - obo:BFO_0000199 - p occupies temporal region t =Def p is a process or process boundary & the spatiotemporal region occupied by p temporally projects onto t - - - - obo:BFO_0000199 - The Second World War occupies the temporal region September 1, 1939 - September 2, 1945 - - - - obo:BFO_0000199 - occupies temporal region - - - - obo:BFO_0000200 - 082-BFO - - - - obo:BFO_0000200 - occupies spatiotemporal region - - - - obo:BFO_0000200 - (Elucidation) occupies spatiotemporal region is a relation between a process or process boundary p and the spatiotemporal region s which is its spatiotemporal extent - - - - obo:BFO_0000200 - A particle emitted by a nuclear reactor occupies the spatiotemporal region which is its trajectory - - - - obo:BFO_0000200 - occupies spatiotemporal region - - - - obo:BFO_0000202 - 155-BFO - - - - obo:BFO_0000202 - temporal interval - - - - obo:BFO_0000202 - (Elucidation) A temporal interval is a one-dimensional temporal region that is continuous, thus without gaps or breaks - - - - obo:BFO_0000202 - The year 2018. - - - - obo:BFO_0000202 - temporal interval - - - - obo:BFO_0000202 - A one-dimensional temporal region can include as parts not only temporal intervals but also temporal instants separated from other parts by gaps. - - - - obo:BFO_0000203 - 209-BFO - - - - obo:BFO_0000203 - temporal instant - - - - obo:BFO_0000203 - (Elucidation) A temporal instant is a zero-dimensional temporal region that has no proper temporal part - - - - obo:BFO_0000203 - The millennium - - - - obo:BFO_0000203 - temporal instant - - - - obo:BFO_0000210 - 232-BFO - - - - obo:BFO_0000210 - occupies spatial region - - - - obo:BFO_0000210 - b occupies spatial region r =Def b is an independent continuant that is not a spatial region & r is a spatial region & there is some time t such that every continuant part of b occupies some continuant part of r at t and no continuant part of b occupies any spatial region that is not a continuant part of r at t - - - - obo:BFO_0000210 - occupies spatial region at some time - - - - obo:BFO_0000211 - 233-BFO - - - - obo:BFO_0000211 - occupies spatial region at all times - - - - obo:BFO_0000211 - an independent continuant c that is not a spatial region occupies spatial region r at all times =Def for all times t, b exists at t implies (every continuant part of c occupies some continuant part of r at t and no continuant part of c occupies any spatial region that is not a continuant part of r at t) - - - - obo:BFO_0000211 - occupies spatial region at all times - - - - obo:BFO_0000216 - 246-BFO - - - - obo:BFO_0000216 - spatially projects onto - - - - obo:BFO_0000216 - (Elucidation) spatially projects onto is a relation between some spatiotemporal region b and spatial region c such that at some time t, c is the spatial extent of b at t - - - - obo:BFO_0000216 - spatially projects onto at some time - - - - obo:BFO_0000217 - 247-BFO - - - - obo:BFO_0000217 - spatially projects onto at all times - - - - obo:BFO_0000217 - b spatially projects onto c at all times =Def for all times t, b exists at t implies (b is a spatiotemporal region and c is a spatial region and c is the spatial extent of b at t) - - - - obo:BFO_0000217 - spatially projects onto at all times - - - - obo:BFO_0000218 - 242-BFO - - - - obo:BFO_0000218 - has material basis - - - - obo:BFO_0000218 - b has material basis c =Def b is a disposition & c is a material entity & there is some d bearer of b & there is some time t such that c is a continuant part of d at t & d has disposition b because c is a continuant part of d at t - - - - obo:BFO_0000218 - has material basis at some time - - - - obo:BFO_0000219 - 253-BFO - - - - obo:BFO_0000219 - generically depends on at all times - - - - obo:BFO_0000219 - g-depends on at all times - - - - obo:BFO_0000219 - a g-dependent continuant b g-depends on an independent continuant c at all times =Def for all times t, b exists at t implies (there inheres in c an s-dependent continuant which concretizes b at t) - - - - obo:BFO_0000219 - generically depends on at all times - - - - obo:BFO_0000220 - 255-BFO - - - - obo:BFO_0000220 - is carrier of at all times - - - - obo:BFO_0000220 - b is carrier of c at all times =Def for all times t, b exists at t implies (c g-depends on b at t) - - - - obo:BFO_0000220 - is carrier of at all times - - - - obo:BFO_0000221 - 268-BFO - - - - obo:BFO_0000221 - first instant of - - - - obo:BFO_0000221 - t first instant of t' =Def t is a temporal instant & t' is a temporal region t' & t precedes all temporal parts of t' other than t - - - - obo:BFO_0000221 - An hour starting at midnight yesterday has first instant midnight yesterday - - - - obo:BFO_0000221 - first instant of - - - - obo:BFO_0000222 - 261-BFO - - - - obo:BFO_0000222 - has first instant - - - - obo:BFO_0000222 - t has first instant t' =Def t' first instant of t - - - - obo:BFO_0000222 - The first hour of a year has first instant midnight on December 31 - - - - obo:BFO_0000222 - has first instant - - - - obo:BFO_0000223 - 269-BFO - - - - obo:BFO_0000223 - last instant of - - - - obo:BFO_0000223 - t last instant of t' =Def t is a temporal instant & t' is a temporal region & all temporal parts of t' other than t precede t - - - - obo:BFO_0000223 - Last midnight is the last instant of yesterday - - - - obo:BFO_0000223 - last instant of - - - - obo:BFO_0000224 - 215-BFO - - - - obo:BFO_0000224 - has last instant - - - - obo:BFO_0000224 - t has last instant t' =Def t' last instant of t - - - - obo:BFO_0000224 - The last hour of a year has last instant midnight December 31 - - - - obo:BFO_0000224 - has last instant - - - - - - -