![Page 1: 1 The Cornucopia of Formal- Ontological Relations Barry Smith and Pierre Grenon Institute for Formal Ontology and Medical Information Science](https://reader035.vdocuments.us/reader035/viewer/2022062516/56649d4e5503460f94a2d621/html5/thumbnails/1.jpg)
1
The Cornucopia of Formal-Ontological Relations
Barry Smith and Pierre Grenon
Institute for Formal Ontology and Medical Information Science
![Page 2: 1 The Cornucopia of Formal- Ontological Relations Barry Smith and Pierre Grenon Institute for Formal Ontology and Medical Information Science](https://reader035.vdocuments.us/reader035/viewer/2022062516/56649d4e5503460f94a2d621/html5/thumbnails/2.jpg)
2
Realist Perspectivalism
There is a multiplicity of ontological perspectives on reality, all equally veridical i.e. transparent to reality
![Page 3: 1 The Cornucopia of Formal- Ontological Relations Barry Smith and Pierre Grenon Institute for Formal Ontology and Medical Information Science](https://reader035.vdocuments.us/reader035/viewer/2022062516/56649d4e5503460f94a2d621/html5/thumbnails/3.jpg)
3
Anatomy vs. Pathology
![Page 4: 1 The Cornucopia of Formal- Ontological Relations Barry Smith and Pierre Grenon Institute for Formal Ontology and Medical Information Science](https://reader035.vdocuments.us/reader035/viewer/2022062516/56649d4e5503460f94a2d621/html5/thumbnails/4.jpg)
4
The Problem
The tumor developed in John’s lung over 25 years
![Page 5: 1 The Cornucopia of Formal- Ontological Relations Barry Smith and Pierre Grenon Institute for Formal Ontology and Medical Information Science](https://reader035.vdocuments.us/reader035/viewer/2022062516/56649d4e5503460f94a2d621/html5/thumbnails/5.jpg)
5
The Problem
____ developed in _____ over 25 years
process
state
![Page 6: 1 The Cornucopia of Formal- Ontological Relations Barry Smith and Pierre Grenon Institute for Formal Ontology and Medical Information Science](https://reader035.vdocuments.us/reader035/viewer/2022062516/56649d4e5503460f94a2d621/html5/thumbnails/6.jpg)
6
The Problem
The tumor developed in the lung over 25 years
substances
things
objects
continuants
![Page 7: 1 The Cornucopia of Formal- Ontological Relations Barry Smith and Pierre Grenon Institute for Formal Ontology and Medical Information Science](https://reader035.vdocuments.us/reader035/viewer/2022062516/56649d4e5503460f94a2d621/html5/thumbnails/7.jpg)
7
The Problem
The tumor developed in John’s lung over 25 years
PARTHOOD NOT DETERMINATE
![Page 8: 1 The Cornucopia of Formal- Ontological Relations Barry Smith and Pierre Grenon Institute for Formal Ontology and Medical Information Science](https://reader035.vdocuments.us/reader035/viewer/2022062516/56649d4e5503460f94a2d621/html5/thumbnails/8.jpg)
8
The Problem
The tumor developed in the lung over 25 years
substances
GLUING THESE TOGETHER YIELDS ONTOLOGICAL MONSTERS
processes
![Page 9: 1 The Cornucopia of Formal- Ontological Relations Barry Smith and Pierre Grenon Institute for Formal Ontology and Medical Information Science](https://reader035.vdocuments.us/reader035/viewer/2022062516/56649d4e5503460f94a2d621/html5/thumbnails/9.jpg)
9
Substances and processes exist in time in different ways
substance
t i m
e
process
![Page 10: 1 The Cornucopia of Formal- Ontological Relations Barry Smith and Pierre Grenon Institute for Formal Ontology and Medical Information Science](https://reader035.vdocuments.us/reader035/viewer/2022062516/56649d4e5503460f94a2d621/html5/thumbnails/10.jpg)
10
SNAP vs SPAN
Endurants vs perdurants
Continuants vs occurrents
In preparing an inventory of reality
we keep track of these two different kinds of entities in two different ways
![Page 11: 1 The Cornucopia of Formal- Ontological Relations Barry Smith and Pierre Grenon Institute for Formal Ontology and Medical Information Science](https://reader035.vdocuments.us/reader035/viewer/2022062516/56649d4e5503460f94a2d621/html5/thumbnails/11.jpg)
11
Need for different perspectives
Not one ontology, but a multiplicity of complementary ontologies
Cf. particle vs. wave ontologies in quantum mechanics
![Page 12: 1 The Cornucopia of Formal- Ontological Relations Barry Smith and Pierre Grenon Institute for Formal Ontology and Medical Information Science](https://reader035.vdocuments.us/reader035/viewer/2022062516/56649d4e5503460f94a2d621/html5/thumbnails/12.jpg)
12
Three kinds of SNAP entities
1. Substances
2. Dependents (SPQR… entities)
3. Spatial regions, contexts, niches, environments
![Page 13: 1 The Cornucopia of Formal- Ontological Relations Barry Smith and Pierre Grenon Institute for Formal Ontology and Medical Information Science](https://reader035.vdocuments.us/reader035/viewer/2022062516/56649d4e5503460f94a2d621/html5/thumbnails/13.jpg)
13
SPQR… entitiesStates, powers, qualities, roles …
functions, dispositions, plans, shapes, status, habitus, liabilities …
= dependent SNAP entities
![Page 14: 1 The Cornucopia of Formal- Ontological Relations Barry Smith and Pierre Grenon Institute for Formal Ontology and Medical Information Science](https://reader035.vdocuments.us/reader035/viewer/2022062516/56649d4e5503460f94a2d621/html5/thumbnails/14.jpg)
14
SPQR… entities:
one-place:
your temperature, color, heightmy knowledge of French
the whiteness of this cheese the warmth of this stone
the fragility of this glass
![Page 15: 1 The Cornucopia of Formal- Ontological Relations Barry Smith and Pierre Grenon Institute for Formal Ontology and Medical Information Science](https://reader035.vdocuments.us/reader035/viewer/2022062516/56649d4e5503460f94a2d621/html5/thumbnails/15.jpg)
15
relational SPQR… entities
John Mary
love
stand in relations of one-sided dependence to a plurality of substances simultaneously
specific dependence
![Page 16: 1 The Cornucopia of Formal- Ontological Relations Barry Smith and Pierre Grenon Institute for Formal Ontology and Medical Information Science](https://reader035.vdocuments.us/reader035/viewer/2022062516/56649d4e5503460f94a2d621/html5/thumbnails/16.jpg)
16
Generic dependence of relational SPQR… entities
legal systems
languages (as systems of competences)
religions (as systems of beliefs)
![Page 17: 1 The Cornucopia of Formal- Ontological Relations Barry Smith and Pierre Grenon Institute for Formal Ontology and Medical Information Science](https://reader035.vdocuments.us/reader035/viewer/2022062516/56649d4e5503460f94a2d621/html5/thumbnails/17.jpg)
17
Three kinds of SNAP entities
1. Substances
2. Dependents (SPQR… entities)
3. Spatial regions, contexts, niches, environments
![Page 18: 1 The Cornucopia of Formal- Ontological Relations Barry Smith and Pierre Grenon Institute for Formal Ontology and Medical Information Science](https://reader035.vdocuments.us/reader035/viewer/2022062516/56649d4e5503460f94a2d621/html5/thumbnails/18.jpg)
18
Three kinds of SNAP entities
1. Substances
2. Dependents (SPQR… entities)
3. Spatial regions, contexts, niches, environments
![Page 19: 1 The Cornucopia of Formal- Ontological Relations Barry Smith and Pierre Grenon Institute for Formal Ontology and Medical Information Science](https://reader035.vdocuments.us/reader035/viewer/2022062516/56649d4e5503460f94a2d621/html5/thumbnails/19.jpg)
19
Spatial regions, contexts, niches, environments
Organism species evolve into environments
Domesticated spatial regions: rooms, nostrils, your alimentary tract
Fiat spatial regions: JFK designated airspace
![Page 20: 1 The Cornucopia of Formal- Ontological Relations Barry Smith and Pierre Grenon Institute for Formal Ontology and Medical Information Science](https://reader035.vdocuments.us/reader035/viewer/2022062516/56649d4e5503460f94a2d621/html5/thumbnails/20.jpg)
20
SNAP: Entities existing in toto at a time
![Page 21: 1 The Cornucopia of Formal- Ontological Relations Barry Smith and Pierre Grenon Institute for Formal Ontology and Medical Information Science](https://reader035.vdocuments.us/reader035/viewer/2022062516/56649d4e5503460f94a2d621/html5/thumbnails/21.jpg)
21
Substances
![Page 22: 1 The Cornucopia of Formal- Ontological Relations Barry Smith and Pierre Grenon Institute for Formal Ontology and Medical Information Science](https://reader035.vdocuments.us/reader035/viewer/2022062516/56649d4e5503460f94a2d621/html5/thumbnails/22.jpg)
22
SPQR …
![Page 23: 1 The Cornucopia of Formal- Ontological Relations Barry Smith and Pierre Grenon Institute for Formal Ontology and Medical Information Science](https://reader035.vdocuments.us/reader035/viewer/2022062516/56649d4e5503460f94a2d621/html5/thumbnails/23.jpg)
23
Spatial regions
![Page 24: 1 The Cornucopia of Formal- Ontological Relations Barry Smith and Pierre Grenon Institute for Formal Ontology and Medical Information Science](https://reader035.vdocuments.us/reader035/viewer/2022062516/56649d4e5503460f94a2d621/html5/thumbnails/24.jpg)
24
The SPAN Ontology
t i m e
![Page 25: 1 The Cornucopia of Formal- Ontological Relations Barry Smith and Pierre Grenon Institute for Formal Ontology and Medical Information Science](https://reader035.vdocuments.us/reader035/viewer/2022062516/56649d4e5503460f94a2d621/html5/thumbnails/25.jpg)
25
here time exists as part of the domain of the ontology
The SPAN ontology
![Page 26: 1 The Cornucopia of Formal- Ontological Relations Barry Smith and Pierre Grenon Institute for Formal Ontology and Medical Information Science](https://reader035.vdocuments.us/reader035/viewer/2022062516/56649d4e5503460f94a2d621/html5/thumbnails/26.jpg)
26
mereology works without restriction everywhere here
t i m e
clinical trial
![Page 27: 1 The Cornucopia of Formal- Ontological Relations Barry Smith and Pierre Grenon Institute for Formal Ontology and Medical Information Science](https://reader035.vdocuments.us/reader035/viewer/2022062516/56649d4e5503460f94a2d621/html5/thumbnails/27.jpg)
27
Processes, too, are dependent on substances
One-place vs. relational processes
One-place processes:
your getting warmer
your getting hungrier
![Page 28: 1 The Cornucopia of Formal- Ontological Relations Barry Smith and Pierre Grenon Institute for Formal Ontology and Medical Information Science](https://reader035.vdocuments.us/reader035/viewer/2022062516/56649d4e5503460f94a2d621/html5/thumbnails/28.jpg)
28
Examples of relational processes
kissings, thumpings, conversations,
dancings,
join their carriers together into collectives of greater or lesser duration
![Page 29: 1 The Cornucopia of Formal- Ontological Relations Barry Smith and Pierre Grenon Institute for Formal Ontology and Medical Information Science](https://reader035.vdocuments.us/reader035/viewer/2022062516/56649d4e5503460f94a2d621/html5/thumbnails/29.jpg)
29
SPAN: Entities extended in time
SPANEntity extended in time
Portion of Spacetime
Fiat part of process *First phase of a clinical trial
Spacetime worm of 3 + Tdimensions
occupied by life of organism
Temporal interval *projection of organism’s life
onto temporal dimension
Aggregate of processes *Clinical trial
Process[±Relational]
Circulation of blood,secretion of hormones,course of disease, life
Processual Entity[Exists in space and time, unfolds
in time phase by phase]
Temporal boundary ofprocess *
onset of disease, death
![Page 30: 1 The Cornucopia of Formal- Ontological Relations Barry Smith and Pierre Grenon Institute for Formal Ontology and Medical Information Science](https://reader035.vdocuments.us/reader035/viewer/2022062516/56649d4e5503460f94a2d621/html5/thumbnails/30.jpg)
30
Two kinds of SPAN entities
1. Processes (including events: process-boundaries)
2. Spatio-temporal regions
![Page 31: 1 The Cornucopia of Formal- Ontological Relations Barry Smith and Pierre Grenon Institute for Formal Ontology and Medical Information Science](https://reader035.vdocuments.us/reader035/viewer/2022062516/56649d4e5503460f94a2d621/html5/thumbnails/31.jpg)
31
Processes
![Page 32: 1 The Cornucopia of Formal- Ontological Relations Barry Smith and Pierre Grenon Institute for Formal Ontology and Medical Information Science](https://reader035.vdocuments.us/reader035/viewer/2022062516/56649d4e5503460f94a2d621/html5/thumbnails/32.jpg)
32
Spatio-temporal regions
![Page 33: 1 The Cornucopia of Formal- Ontological Relations Barry Smith and Pierre Grenon Institute for Formal Ontology and Medical Information Science](https://reader035.vdocuments.us/reader035/viewer/2022062516/56649d4e5503460f94a2d621/html5/thumbnails/33.jpg)
33
4-dimensional environments
Lobsters have evolved into environments marked by cyclical patterns of temperature change
Tudor EnglandThe Afghan winterThe window of opportunity for an invasion of Iraq
![Page 34: 1 The Cornucopia of Formal- Ontological Relations Barry Smith and Pierre Grenon Institute for Formal Ontology and Medical Information Science](https://reader035.vdocuments.us/reader035/viewer/2022062516/56649d4e5503460f94a2d621/html5/thumbnails/34.jpg)
34
How do you know whether an entity is SNAP or SPAN?
![Page 35: 1 The Cornucopia of Formal- Ontological Relations Barry Smith and Pierre Grenon Institute for Formal Ontology and Medical Information Science](https://reader035.vdocuments.us/reader035/viewer/2022062516/56649d4e5503460f94a2d621/html5/thumbnails/35.jpg)
35
problem cases
forest fire
anthrax epidemic
hurricane Maria
traffic jam
ocean wave
![Page 36: 1 The Cornucopia of Formal- Ontological Relations Barry Smith and Pierre Grenon Institute for Formal Ontology and Medical Information Science](https://reader035.vdocuments.us/reader035/viewer/2022062516/56649d4e5503460f94a2d621/html5/thumbnails/36.jpg)
36
forest fire:
a process
a pack of monkeys jumping from tree to tree and eating up the trees as they go
the Olympic flame:
a process or a thing?
(anthrax spores are little monkeys)
![Page 37: 1 The Cornucopia of Formal- Ontological Relations Barry Smith and Pierre Grenon Institute for Formal Ontology and Medical Information Science](https://reader035.vdocuments.us/reader035/viewer/2022062516/56649d4e5503460f94a2d621/html5/thumbnails/37.jpg)
37
Formal-ontological concepts
come for free
do not add anything to being
are domain-independent
are expressed linguistically by closed-class items …
HOW TO GENERATE THEM?
![Page 38: 1 The Cornucopia of Formal- Ontological Relations Barry Smith and Pierre Grenon Institute for Formal Ontology and Medical Information Science](https://reader035.vdocuments.us/reader035/viewer/2022062516/56649d4e5503460f94a2d621/html5/thumbnails/38.jpg)
38
The idea (first rough version)
Formal relations are those relations which are not captured by either SNAP or SPAN because they traverse the SNAP-SPAN dividethey glue SNAP and SPAN entities together
![Page 39: 1 The Cornucopia of Formal- Ontological Relations Barry Smith and Pierre Grenon Institute for Formal Ontology and Medical Information Science](https://reader035.vdocuments.us/reader035/viewer/2022062516/56649d4e5503460f94a2d621/html5/thumbnails/39.jpg)
39
This generates a first list of formal relations,
e.g. dependence,
but we find some of these relations also within SNAP or within SNAP
![Page 40: 1 The Cornucopia of Formal- Ontological Relations Barry Smith and Pierre Grenon Institute for Formal Ontology and Medical Information Science](https://reader035.vdocuments.us/reader035/viewer/2022062516/56649d4e5503460f94a2d621/html5/thumbnails/40.jpg)
40
The idea (modified version)
Formal relations are the relations that hold SNAP and SPAN entities/ontologies together
and analogous relations
![Page 41: 1 The Cornucopia of Formal- Ontological Relations Barry Smith and Pierre Grenon Institute for Formal Ontology and Medical Information Science](https://reader035.vdocuments.us/reader035/viewer/2022062516/56649d4e5503460f94a2d621/html5/thumbnails/41.jpg)
41
Example:Individuation, segmentation
![Page 42: 1 The Cornucopia of Formal- Ontological Relations Barry Smith and Pierre Grenon Institute for Formal Ontology and Medical Information Science](https://reader035.vdocuments.us/reader035/viewer/2022062516/56649d4e5503460f94a2d621/html5/thumbnails/42.jpg)
42
Substances
tokens separated by bona fide boundaries
form natural kinds, types
(universals, species + genera)
separated by bona fide boundaries
![Page 43: 1 The Cornucopia of Formal- Ontological Relations Barry Smith and Pierre Grenon Institute for Formal Ontology and Medical Information Science](https://reader035.vdocuments.us/reader035/viewer/2022062516/56649d4e5503460f94a2d621/html5/thumbnails/43.jpg)
43
Processes
Process tokens merge into one another
Process kinds merge into one another
… few clean joints either between tokens or between types
![Page 44: 1 The Cornucopia of Formal- Ontological Relations Barry Smith and Pierre Grenon Institute for Formal Ontology and Medical Information Science](https://reader035.vdocuments.us/reader035/viewer/2022062516/56649d4e5503460f94a2d621/html5/thumbnails/44.jpg)
44
boundaries are mostly fiat
t i m e
everything is flux
![Page 45: 1 The Cornucopia of Formal- Ontological Relations Barry Smith and Pierre Grenon Institute for Formal Ontology and Medical Information Science](https://reader035.vdocuments.us/reader035/viewer/2022062516/56649d4e5503460f94a2d621/html5/thumbnails/45.jpg)
45
SNAP entities
provide the principles of individuation/segmentation for SPAN
entities
No change without some THING or QUALITY which changes
![Page 46: 1 The Cornucopia of Formal- Ontological Relations Barry Smith and Pierre Grenon Institute for Formal Ontology and Medical Information Science](https://reader035.vdocuments.us/reader035/viewer/2022062516/56649d4e5503460f94a2d621/html5/thumbnails/46.jpg)
46
Example:Ontological Dependence
(SPAN, SNAP): process substance
The erosion of the rock necessitates the existence of the rock
(SNAP, SNAP): SPQR substance
The token redness of the sand necessitates the existence of the sand
![Page 47: 1 The Cornucopia of Formal- Ontological Relations Barry Smith and Pierre Grenon Institute for Formal Ontology and Medical Information Science](https://reader035.vdocuments.us/reader035/viewer/2022062516/56649d4e5503460f94a2d621/html5/thumbnails/47.jpg)
47
Generating a typology
Two main types of formal relations:
meta-ontological: obtain between entities of different ontologies
intra-ontological: obtain between entities of the same ontology (intra-SNAP, intra-SPAN)
![Page 48: 1 The Cornucopia of Formal- Ontological Relations Barry Smith and Pierre Grenon Institute for Formal Ontology and Medical Information Science](https://reader035.vdocuments.us/reader035/viewer/2022062516/56649d4e5503460f94a2d621/html5/thumbnails/48.jpg)
48
Three parameters:
- the arity of the relation
- the types of the relata, expressed as an ordered list, called the signature of the relation
- the formal nature of the relation
![Page 49: 1 The Cornucopia of Formal- Ontological Relations Barry Smith and Pierre Grenon Institute for Formal Ontology and Medical Information Science](https://reader035.vdocuments.us/reader035/viewer/2022062516/56649d4e5503460f94a2d621/html5/thumbnails/49.jpg)
49
Principal Signatures
In the binary case:
SNAP-SNAP - (SNAPi, SNAPi), i = i
- (SNAPi, SNAPi), i < j, i > j
SPAN-SPAN
SNAP-SPANSPAN-SNAP
![Page 50: 1 The Cornucopia of Formal- Ontological Relations Barry Smith and Pierre Grenon Institute for Formal Ontology and Medical Information Science](https://reader035.vdocuments.us/reader035/viewer/2022062516/56649d4e5503460f94a2d621/html5/thumbnails/50.jpg)
50
Transtemporal relations
Examples:
Genidentity
(transtemporal generalization of identity/part-whole)
Successive causality
![Page 51: 1 The Cornucopia of Formal- Ontological Relations Barry Smith and Pierre Grenon Institute for Formal Ontology and Medical Information Science](https://reader035.vdocuments.us/reader035/viewer/2022062516/56649d4e5503460f94a2d621/html5/thumbnails/51.jpg)
51
Genidentity
Also SPAN-SPAN? Is there a form of genidentity among processes?
The such-has-to-have-come-forth-from relation.
Signature: SNAPi-SNAPj
Cut a chunk of matter in two, the sum of the remaining pieces is genidentical to the chunk before cutting
![Page 52: 1 The Cornucopia of Formal- Ontological Relations Barry Smith and Pierre Grenon Institute for Formal Ontology and Medical Information Science](https://reader035.vdocuments.us/reader035/viewer/2022062516/56649d4e5503460f94a2d621/html5/thumbnails/52.jpg)
52
Successive Causality
SNAP-SPAN: Agent causationA substance produces causally a process
SPAN-SPAN: Process causationOne process causes another process
SPAN-SNAP: Causal repercussionA process results in the modification of a substance (always mediated by process causation)
SNAP-SNAP: Causal originOne substance is the causal origin of another (mediated by other types of causal relations)
![Page 53: 1 The Cornucopia of Formal- Ontological Relations Barry Smith and Pierre Grenon Institute for Formal Ontology and Medical Information Science](https://reader035.vdocuments.us/reader035/viewer/2022062516/56649d4e5503460f94a2d621/html5/thumbnails/53.jpg)
53
Successive Causality
SNAP-SPAN: Agent causation
SPAN-SPAN: Process causation
SPAN-SNAP: Causal repercussion
SNAP-SNAP: Causal origin
do not apply on all levels of granularity(holds of examples given below also)
![Page 54: 1 The Cornucopia of Formal- Ontological Relations Barry Smith and Pierre Grenon Institute for Formal Ontology and Medical Information Science](https://reader035.vdocuments.us/reader035/viewer/2022062516/56649d4e5503460f94a2d621/html5/thumbnails/54.jpg)
54
Our main target: Temporally extended relations
Simultaneous Causality Participation
(holds between a substance and a process such as an action or a life or history)
Realization(holds between SPQR… entities and their SPAN expressions)
![Page 55: 1 The Cornucopia of Formal- Ontological Relations Barry Smith and Pierre Grenon Institute for Formal Ontology and Medical Information Science](https://reader035.vdocuments.us/reader035/viewer/2022062516/56649d4e5503460f94a2d621/html5/thumbnails/55.jpg)
55
Simultaneous causality
SPAN-SPAN
The rise in temperature causes the (simultaneous) increase in pressure
(Boyle’s law)
![Page 56: 1 The Cornucopia of Formal- Ontological Relations Barry Smith and Pierre Grenon Institute for Formal Ontology and Medical Information Science](https://reader035.vdocuments.us/reader035/viewer/2022062516/56649d4e5503460f94a2d621/html5/thumbnails/56.jpg)
56
Substance Process
PARTICIPATION(a species of dependence)
![Page 57: 1 The Cornucopia of Formal- Ontological Relations Barry Smith and Pierre Grenon Institute for Formal Ontology and Medical Information Science](https://reader035.vdocuments.us/reader035/viewer/2022062516/56649d4e5503460f94a2d621/html5/thumbnails/57.jpg)
57
Participation (SNAP-SPAN)
A substance (SNAP) participates in a process (SPAN)
A runner participates in a race
A voter participates in an election
![Page 58: 1 The Cornucopia of Formal- Ontological Relations Barry Smith and Pierre Grenon Institute for Formal Ontology and Medical Information Science](https://reader035.vdocuments.us/reader035/viewer/2022062516/56649d4e5503460f94a2d621/html5/thumbnails/58.jpg)
58
Participation
x
y
substances x, y participate in process B
time
Bx
y
SNAP-ti.
time
SPAN
B
slice of x’s life
![Page 59: 1 The Cornucopia of Formal- Ontological Relations Barry Smith and Pierre Grenon Institute for Formal Ontology and Medical Information Science](https://reader035.vdocuments.us/reader035/viewer/2022062516/56649d4e5503460f94a2d621/html5/thumbnails/59.jpg)
59
Axes of variation
activity/passivity (agentive)
direct/mediated
benefactor/malefactor (conducive to existence) [MEDICINE]
![Page 60: 1 The Cornucopia of Formal- Ontological Relations Barry Smith and Pierre Grenon Institute for Formal Ontology and Medical Information Science](https://reader035.vdocuments.us/reader035/viewer/2022062516/56649d4e5503460f94a2d621/html5/thumbnails/60.jpg)
60
SNAP-SPAN
Participation
Perpetration (+agentive)
Initiation
Perpetuation
Termination
Influence
Facilitation
Hindrance
Mediation
Patiency(-agentive)
![Page 61: 1 The Cornucopia of Formal- Ontological Relations Barry Smith and Pierre Grenon Institute for Formal Ontology and Medical Information Science](https://reader035.vdocuments.us/reader035/viewer/2022062516/56649d4e5503460f94a2d621/html5/thumbnails/61.jpg)
61
Perpetration
A substance perpetrates an action (direct and agentive participation in a process):
The referee fires the starting-pistol
The captain gives the order
![Page 62: 1 The Cornucopia of Formal- Ontological Relations Barry Smith and Pierre Grenon Institute for Formal Ontology and Medical Information Science](https://reader035.vdocuments.us/reader035/viewer/2022062516/56649d4e5503460f94a2d621/html5/thumbnails/62.jpg)
62
Initiation
A substance initiates a process:
The referee starts the race
The attorney initiates the process of appeal
![Page 63: 1 The Cornucopia of Formal- Ontological Relations Barry Smith and Pierre Grenon Institute for Formal Ontology and Medical Information Science](https://reader035.vdocuments.us/reader035/viewer/2022062516/56649d4e5503460f94a2d621/html5/thumbnails/63.jpg)
63
Perpetuation
A substance sustains a process:
The singer sings the song
The charged filament perpetuates the emission of light
![Page 64: 1 The Cornucopia of Formal- Ontological Relations Barry Smith and Pierre Grenon Institute for Formal Ontology and Medical Information Science](https://reader035.vdocuments.us/reader035/viewer/2022062516/56649d4e5503460f94a2d621/html5/thumbnails/64.jpg)
64
Termination
A substance terminates a process:
The operator terminates the projection of the film
The judge terminates the imprisonment of the pardoned convict
![Page 65: 1 The Cornucopia of Formal- Ontological Relations Barry Smith and Pierre Grenon Institute for Formal Ontology and Medical Information Science](https://reader035.vdocuments.us/reader035/viewer/2022062516/56649d4e5503460f94a2d621/html5/thumbnails/65.jpg)
65
Influence
A substance (or its quality) has an effect on a process
The steepness of the slope affects the movement of the troopsThe politicians influence the course of the war
![Page 66: 1 The Cornucopia of Formal- Ontological Relations Barry Smith and Pierre Grenon Institute for Formal Ontology and Medical Information Science](https://reader035.vdocuments.us/reader035/viewer/2022062516/56649d4e5503460f94a2d621/html5/thumbnails/66.jpg)
66
Facilitation
A substance plays a secondary role in a process (for example by participating in a part or layer of the process)
The catalyst provides the chemical conditions for the reaction
The traffic-police facilitate our rapid progress to the airport
![Page 67: 1 The Cornucopia of Formal- Ontological Relations Barry Smith and Pierre Grenon Institute for Formal Ontology and Medical Information Science](https://reader035.vdocuments.us/reader035/viewer/2022062516/56649d4e5503460f94a2d621/html5/thumbnails/67.jpg)
67
Facilitation
is this really a binary relation?
![Page 68: 1 The Cornucopia of Formal- Ontological Relations Barry Smith and Pierre Grenon Institute for Formal Ontology and Medical Information Science](https://reader035.vdocuments.us/reader035/viewer/2022062516/56649d4e5503460f94a2d621/html5/thumbnails/68.jpg)
68
Hindrance, prevention, inhibition
A substance has a negative effect on the unfolding of a process (by participating in other processes)
The drug hinders the progression of the disease
The strikers prevent the airplane from departing
![Page 69: 1 The Cornucopia of Formal- Ontological Relations Barry Smith and Pierre Grenon Institute for Formal Ontology and Medical Information Science](https://reader035.vdocuments.us/reader035/viewer/2022062516/56649d4e5503460f94a2d621/html5/thumbnails/69.jpg)
69
Hindrance, prevention, inhibition
Is this really a binary relation ? (What is the second term?)
![Page 70: 1 The Cornucopia of Formal- Ontological Relations Barry Smith and Pierre Grenon Institute for Formal Ontology and Medical Information Science](https://reader035.vdocuments.us/reader035/viewer/2022062516/56649d4e5503460f94a2d621/html5/thumbnails/70.jpg)
70
Mediation
A substance plays an indirect role in the unfolding of a process relating other participants:
The Norwegians mediate the discussions between the warring parties
![Page 71: 1 The Cornucopia of Formal- Ontological Relations Barry Smith and Pierre Grenon Institute for Formal Ontology and Medical Information Science](https://reader035.vdocuments.us/reader035/viewer/2022062516/56649d4e5503460f94a2d621/html5/thumbnails/71.jpg)
71
Patiency
Dual of agentive participation
John kisses [Mary] (John agent)
Mary is kissed [by John] (Mary patient)
![Page 72: 1 The Cornucopia of Formal- Ontological Relations Barry Smith and Pierre Grenon Institute for Formal Ontology and Medical Information Science](https://reader035.vdocuments.us/reader035/viewer/2022062516/56649d4e5503460f94a2d621/html5/thumbnails/72.jpg)
72
Signatures of meta-relations
SNAP Component SPAN Component
Substances
SPQR…
Space Regions
Processuals
Processes
Events
Space-Time Regions
![Page 73: 1 The Cornucopia of Formal- Ontological Relations Barry Smith and Pierre Grenon Institute for Formal Ontology and Medical Information Science](https://reader035.vdocuments.us/reader035/viewer/2022062516/56649d4e5503460f94a2d621/html5/thumbnails/73.jpg)
73
Signatures of meta-relations
SNAP Component SPAN Component
Substances
SPQR…
Space Regions
Processuals
Processes
Events
Space-Time Regions
![Page 74: 1 The Cornucopia of Formal- Ontological Relations Barry Smith and Pierre Grenon Institute for Formal Ontology and Medical Information Science](https://reader035.vdocuments.us/reader035/viewer/2022062516/56649d4e5503460f94a2d621/html5/thumbnails/74.jpg)
74
Signatures of meta-relations
SNAP Component SPAN Component
Substances
SPQR…
Space Regions
Processuals
Processes
Events
Space-Time Regions
![Page 75: 1 The Cornucopia of Formal- Ontological Relations Barry Smith and Pierre Grenon Institute for Formal Ontology and Medical Information Science](https://reader035.vdocuments.us/reader035/viewer/2022062516/56649d4e5503460f94a2d621/html5/thumbnails/75.jpg)
75
Signatures of meta-relations
SNAP Component SPAN Component
Substances
SPQR…
Space Regions
Processuals
Processes
Events
Space-Time Regions
![Page 76: 1 The Cornucopia of Formal- Ontological Relations Barry Smith and Pierre Grenon Institute for Formal Ontology and Medical Information Science](https://reader035.vdocuments.us/reader035/viewer/2022062516/56649d4e5503460f94a2d621/html5/thumbnails/76.jpg)
76
REALIZATION
![Page 77: 1 The Cornucopia of Formal- Ontological Relations Barry Smith and Pierre Grenon Institute for Formal Ontology and Medical Information Science](https://reader035.vdocuments.us/reader035/viewer/2022062516/56649d4e5503460f94a2d621/html5/thumbnails/77.jpg)
77
Signatures of meta-relations
SNAP Component SPAN Component
Substances
SPQR…
Spatial Regions
Processuals
Processes
Events
Space-Time Regions
participation
realization
![Page 78: 1 The Cornucopia of Formal- Ontological Relations Barry Smith and Pierre Grenon Institute for Formal Ontology and Medical Information Science](https://reader035.vdocuments.us/reader035/viewer/2022062516/56649d4e5503460f94a2d621/html5/thumbnails/78.jpg)
78
Realization (SPQR process)
The most general relation between a dependent (SPQR…) entity and a process
The power to legislate is realized through the passing of a law
The role of antibiotics in treating infections is via the killing of bacteria
![Page 79: 1 The Cornucopia of Formal- Ontological Relations Barry Smith and Pierre Grenon Institute for Formal Ontology and Medical Information Science](https://reader035.vdocuments.us/reader035/viewer/2022062516/56649d4e5503460f94a2d621/html5/thumbnails/79.jpg)
79
Realization (SNAP-SPAN)
the execution of a plan, algorithm
the expression of a function
the exercise of a role
the realization of a disposition
![Page 80: 1 The Cornucopia of Formal- Ontological Relations Barry Smith and Pierre Grenon Institute for Formal Ontology and Medical Information Science](https://reader035.vdocuments.us/reader035/viewer/2022062516/56649d4e5503460f94a2d621/html5/thumbnails/80.jpg)
80
SPQR… entities and their SPAN realizations
plan
function
role
disposition
algorithm
SNAP
![Page 81: 1 The Cornucopia of Formal- Ontological Relations Barry Smith and Pierre Grenon Institute for Formal Ontology and Medical Information Science](https://reader035.vdocuments.us/reader035/viewer/2022062516/56649d4e5503460f94a2d621/html5/thumbnails/81.jpg)
81
SPQR… entities and their SPAN realizations
execution
expression
exercise
realization
application
course
SPAN
![Page 82: 1 The Cornucopia of Formal- Ontological Relations Barry Smith and Pierre Grenon Institute for Formal Ontology and Medical Information Science](https://reader035.vdocuments.us/reader035/viewer/2022062516/56649d4e5503460f94a2d621/html5/thumbnails/82.jpg)
82
Material examples:
performance of a symphonyprojection of a filmexpression of an emotionutterance of a sentenceapplication of a therapycourse of a diseaseincrease of temperature
![Page 83: 1 The Cornucopia of Formal- Ontological Relations Barry Smith and Pierre Grenon Institute for Formal Ontology and Medical Information Science](https://reader035.vdocuments.us/reader035/viewer/2022062516/56649d4e5503460f94a2d621/html5/thumbnails/83.jpg)
83
SNAP SPAN
Participation
Substance Process
Realization
SPQR Process
![Page 84: 1 The Cornucopia of Formal- Ontological Relations Barry Smith and Pierre Grenon Institute for Formal Ontology and Medical Information Science](https://reader035.vdocuments.us/reader035/viewer/2022062516/56649d4e5503460f94a2d621/html5/thumbnails/84.jpg)
84
SPAN SNAP
Involvement
![Page 85: 1 The Cornucopia of Formal- Ontological Relations Barry Smith and Pierre Grenon Institute for Formal Ontology and Medical Information Science](https://reader035.vdocuments.us/reader035/viewer/2022062516/56649d4e5503460f94a2d621/html5/thumbnails/85.jpg)
85
SPAN SNAP
Involvement
Creation
Sustaining in being
Destruction
DemarcationBlurring
Degradation
![Page 86: 1 The Cornucopia of Formal- Ontological Relations Barry Smith and Pierre Grenon Institute for Formal Ontology and Medical Information Science](https://reader035.vdocuments.us/reader035/viewer/2022062516/56649d4e5503460f94a2d621/html5/thumbnails/86.jpg)
86
Involvement
process substance(sometimes the converse of participation):
Races involve racers
(but not always):
Wars involve civilians
![Page 87: 1 The Cornucopia of Formal- Ontological Relations Barry Smith and Pierre Grenon Institute for Formal Ontology and Medical Information Science](https://reader035.vdocuments.us/reader035/viewer/2022062516/56649d4e5503460f94a2d621/html5/thumbnails/87.jpg)
87
Creation
A process brings into being a substance:
The declaration of independence creates the new state
The work of the potter creates the vase
![Page 88: 1 The Cornucopia of Formal- Ontological Relations Barry Smith and Pierre Grenon Institute for Formal Ontology and Medical Information Science](https://reader035.vdocuments.us/reader035/viewer/2022062516/56649d4e5503460f94a2d621/html5/thumbnails/88.jpg)
88
Sustaining in being
A process sustains in being a substance:
The circulation of the blood sustains the body
Levying taxes sustains the army
![Page 89: 1 The Cornucopia of Formal- Ontological Relations Barry Smith and Pierre Grenon Institute for Formal Ontology and Medical Information Science](https://reader035.vdocuments.us/reader035/viewer/2022062516/56649d4e5503460f94a2d621/html5/thumbnails/89.jpg)
89
Degradation
A process has negative effects upon a substance
Eating sugar contributes to the deterioration of your teeth.
The flow of water erodes the rock
![Page 90: 1 The Cornucopia of Formal- Ontological Relations Barry Smith and Pierre Grenon Institute for Formal Ontology and Medical Information Science](https://reader035.vdocuments.us/reader035/viewer/2022062516/56649d4e5503460f94a2d621/html5/thumbnails/90.jpg)
90
Destruction
A process puts a substance out of existence
The explosion destroys the car
The falling of the vase on the floor breaks it
![Page 91: 1 The Cornucopia of Formal- Ontological Relations Barry Smith and Pierre Grenon Institute for Formal Ontology and Medical Information Science](https://reader035.vdocuments.us/reader035/viewer/2022062516/56649d4e5503460f94a2d621/html5/thumbnails/91.jpg)
91
Demarcation
A process creates (fiat or bona fide) boundaries of substances.
The signing of the treaty establishes fixed borders between the two nations
The tracing of the area of operation by the surgeon defines a boundary, the incision performed by the surgeon yet another one
![Page 92: 1 The Cornucopia of Formal- Ontological Relations Barry Smith and Pierre Grenon Institute for Formal Ontology and Medical Information Science](https://reader035.vdocuments.us/reader035/viewer/2022062516/56649d4e5503460f94a2d621/html5/thumbnails/92.jpg)
92
Blurring
A process destroys boundaries of substances:
The military stand-off creates the no man's land
The successful transplant obliterates the boundary between original and grafted tissue
![Page 93: 1 The Cornucopia of Formal- Ontological Relations Barry Smith and Pierre Grenon Institute for Formal Ontology and Medical Information Science](https://reader035.vdocuments.us/reader035/viewer/2022062516/56649d4e5503460f94a2d621/html5/thumbnails/93.jpg)
93
Process SPQR
Continuation
DegradationDestruction
Creation
Qualitative projection
![Page 94: 1 The Cornucopia of Formal- Ontological Relations Barry Smith and Pierre Grenon Institute for Formal Ontology and Medical Information Science](https://reader035.vdocuments.us/reader035/viewer/2022062516/56649d4e5503460f94a2d621/html5/thumbnails/94.jpg)
94
Qualitative Projection
A warming process yields a rise in temperature
The tenure process yields a rise in John’s status
![Page 95: 1 The Cornucopia of Formal- Ontological Relations Barry Smith and Pierre Grenon Institute for Formal Ontology and Medical Information Science](https://reader035.vdocuments.us/reader035/viewer/2022062516/56649d4e5503460f94a2d621/html5/thumbnails/95.jpg)
95
Creation
A process brings into being a dependent entity
The accident reshapes the car.
The baking of the clay gives the vase its rigidity and color.
![Page 96: 1 The Cornucopia of Formal- Ontological Relations Barry Smith and Pierre Grenon Institute for Formal Ontology and Medical Information Science](https://reader035.vdocuments.us/reader035/viewer/2022062516/56649d4e5503460f94a2d621/html5/thumbnails/96.jpg)
96
Continuation
A process sustains the existence of an SPQR entity
The firing of the fireworks maintains the coloration of the sky
The intake of alcohol sustains the rosiness of his cheeks
![Page 97: 1 The Cornucopia of Formal- Ontological Relations Barry Smith and Pierre Grenon Institute for Formal Ontology and Medical Information Science](https://reader035.vdocuments.us/reader035/viewer/2022062516/56649d4e5503460f94a2d621/html5/thumbnails/97.jpg)
97
Degradation
A process affects a substance's quality or status by lowering its degree
The opening of the window diminishes the temperature in the room
![Page 98: 1 The Cornucopia of Formal- Ontological Relations Barry Smith and Pierre Grenon Institute for Formal Ontology and Medical Information Science](https://reader035.vdocuments.us/reader035/viewer/2022062516/56649d4e5503460f94a2d621/html5/thumbnails/98.jpg)
98
Destruction
A process destroys/changes an SPQR… entity
The accident destroys the car's shape
The burning of the vase destroys its color
The demotion relieved him of his rank as an officer
![Page 99: 1 The Cornucopia of Formal- Ontological Relations Barry Smith and Pierre Grenon Institute for Formal Ontology and Medical Information Science](https://reader035.vdocuments.us/reader035/viewer/2022062516/56649d4e5503460f94a2d621/html5/thumbnails/99.jpg)
99
Varieties of projection
Warming process series of temperature qualities
= qualitative projection
Process temporal interval
= temporal projection
![Page 100: 1 The Cornucopia of Formal- Ontological Relations Barry Smith and Pierre Grenon Institute for Formal Ontology and Medical Information Science](https://reader035.vdocuments.us/reader035/viewer/2022062516/56649d4e5503460f94a2d621/html5/thumbnails/100.jpg)
100
Spatial Projection
A process occurs in a given place or area:
The Revolution took place in Paris
The wind blows beyond the 24th parallel
![Page 101: 1 The Cornucopia of Formal- Ontological Relations Barry Smith and Pierre Grenon Institute for Formal Ontology and Medical Information Science](https://reader035.vdocuments.us/reader035/viewer/2022062516/56649d4e5503460f94a2d621/html5/thumbnails/101.jpg)
101
Starts in / ends at (spatial projection of process
boundaries)
A process begins/ends at a location
The race started in Paris
The race ended in Roubaix
![Page 102: 1 The Cornucopia of Formal- Ontological Relations Barry Smith and Pierre Grenon Institute for Formal Ontology and Medical Information Science](https://reader035.vdocuments.us/reader035/viewer/2022062516/56649d4e5503460f94a2d621/html5/thumbnails/102.jpg)
102
SNAP-SPAN
Participation
Perpetration (+agentive)
Initiation
Perpetuation
Termination
Influence
Facilitation
Hindrance
Mediation
Patiency(-agentive)
![Page 103: 1 The Cornucopia of Formal- Ontological Relations Barry Smith and Pierre Grenon Institute for Formal Ontology and Medical Information Science](https://reader035.vdocuments.us/reader035/viewer/2022062516/56649d4e5503460f94a2d621/html5/thumbnails/103.jpg)
103
SPAN-SNAP
Involvement
Creation
Sustenance
Destruction
Continuation
DegradationDestruction
Creation
DemarcationBlurring
Qualitative projection
Degradation
![Page 104: 1 The Cornucopia of Formal- Ontological Relations Barry Smith and Pierre Grenon Institute for Formal Ontology and Medical Information Science](https://reader035.vdocuments.us/reader035/viewer/2022062516/56649d4e5503460f94a2d621/html5/thumbnails/104.jpg)
104
Varieties of Projection
A process projects onto its temporal duration, onto the spatio-temporal region it occupiesonto the spatial region it occupies at a given time onto the sum of its participants at a time onto the sum of the SPQR… entities realized through it at a time
![Page 105: 1 The Cornucopia of Formal- Ontological Relations Barry Smith and Pierre Grenon Institute for Formal Ontology and Medical Information Science](https://reader035.vdocuments.us/reader035/viewer/2022062516/56649d4e5503460f94a2d621/html5/thumbnails/105.jpg)
105
Temporal Projection
of SPAN entities onto temporal intervals
of SNAP entities onto temporal intervals via their lives
![Page 106: 1 The Cornucopia of Formal- Ontological Relations Barry Smith and Pierre Grenon Institute for Formal Ontology and Medical Information Science](https://reader035.vdocuments.us/reader035/viewer/2022062516/56649d4e5503460f94a2d621/html5/thumbnails/106.jpg)
106
Formal relations not dealt with so far:
part-whole
instantiation
reference, intentionality
truthmaking
![Page 107: 1 The Cornucopia of Formal- Ontological Relations Barry Smith and Pierre Grenon Institute for Formal Ontology and Medical Information Science](https://reader035.vdocuments.us/reader035/viewer/2022062516/56649d4e5503460f94a2d621/html5/thumbnails/107.jpg)
107
Part-Whole
Basic relation exclusively intra-ontological: either SNAP-SNAP or SPAN-SPAN.
SNAP-SNAP: only if SNAPis have the same temporal index
![Page 108: 1 The Cornucopia of Formal- Ontological Relations Barry Smith and Pierre Grenon Institute for Formal Ontology and Medical Information Science](https://reader035.vdocuments.us/reader035/viewer/2022062516/56649d4e5503460f94a2d621/html5/thumbnails/108.jpg)
108
Relations crossing the SNAP/SPAN border are never part-relations
John’s lifesubstance John
physiological processes
sustaining in existence
![Page 109: 1 The Cornucopia of Formal- Ontological Relations Barry Smith and Pierre Grenon Institute for Formal Ontology and Medical Information Science](https://reader035.vdocuments.us/reader035/viewer/2022062516/56649d4e5503460f94a2d621/html5/thumbnails/109.jpg)
109
Granularity
spatial region substance
parts of substances are always substances
![Page 110: 1 The Cornucopia of Formal- Ontological Relations Barry Smith and Pierre Grenon Institute for Formal Ontology and Medical Information Science](https://reader035.vdocuments.us/reader035/viewer/2022062516/56649d4e5503460f94a2d621/html5/thumbnails/110.jpg)
110
Granularity
spatial region substance
parts of spatial regions are always spatial regions
![Page 111: 1 The Cornucopia of Formal- Ontological Relations Barry Smith and Pierre Grenon Institute for Formal Ontology and Medical Information Science](https://reader035.vdocuments.us/reader035/viewer/2022062516/56649d4e5503460f94a2d621/html5/thumbnails/111.jpg)
111
Granularity
process
parts of processes are always processes
![Page 112: 1 The Cornucopia of Formal- Ontological Relations Barry Smith and Pierre Grenon Institute for Formal Ontology and Medical Information Science](https://reader035.vdocuments.us/reader035/viewer/2022062516/56649d4e5503460f94a2d621/html5/thumbnails/112.jpg)
112
Intra-granular and cross-granular parthood
across SNAPs:Kevin’s arm is part of KevinKevin’s molecule is part of Kevin
across SPANs:Kevin’s leg-movement is part of Kevin’s runningKevin’s cytometabolism is part of Kevin’s running
![Page 113: 1 The Cornucopia of Formal- Ontological Relations Barry Smith and Pierre Grenon Institute for Formal Ontology and Medical Information Science](https://reader035.vdocuments.us/reader035/viewer/2022062516/56649d4e5503460f94a2d621/html5/thumbnails/113.jpg)
113
The idea (a further modification)
Formal relations are those relations which are not captured by either the SNAP or the SPAN ontologyeither because they can traverse the SNAP-SPAN divideor because they can traverse the granular divide
![Page 114: 1 The Cornucopia of Formal- Ontological Relations Barry Smith and Pierre Grenon Institute for Formal Ontology and Medical Information Science](https://reader035.vdocuments.us/reader035/viewer/2022062516/56649d4e5503460f94a2d621/html5/thumbnails/114.jpg)
114
Is this Kantianism?
does every ontology/perspective generate new formal-ontological relations?
![Page 115: 1 The Cornucopia of Formal- Ontological Relations Barry Smith and Pierre Grenon Institute for Formal Ontology and Medical Information Science](https://reader035.vdocuments.us/reader035/viewer/2022062516/56649d4e5503460f94a2d621/html5/thumbnails/115.jpg)
115
Realist Perspectivalism
There is a multiplicity of ontological perspectives on reality, all equally veridical i.e. transparent to reality
![Page 116: 1 The Cornucopia of Formal- Ontological Relations Barry Smith and Pierre Grenon Institute for Formal Ontology and Medical Information Science](https://reader035.vdocuments.us/reader035/viewer/2022062516/56649d4e5503460f94a2d621/html5/thumbnails/116.jpg)
116
SNAP
universals and particulars
![Page 117: 1 The Cornucopia of Formal- Ontological Relations Barry Smith and Pierre Grenon Institute for Formal Ontology and Medical Information Science](https://reader035.vdocuments.us/reader035/viewer/2022062516/56649d4e5503460f94a2d621/html5/thumbnails/117.jpg)
117
What about
reference, intentionality,
truthmaking ?
![Page 118: 1 The Cornucopia of Formal- Ontological Relations Barry Smith and Pierre Grenon Institute for Formal Ontology and Medical Information Science](https://reader035.vdocuments.us/reader035/viewer/2022062516/56649d4e5503460f94a2d621/html5/thumbnails/118.jpg)
118
SNAPEnduring Entity
[Exists in space and time,
has no temporal parts]
Spatial Entity
Tunnel
Alimentary Canal
Independent Entity
Cavity
Interior of Lung
Hollow
Nostril
State
Being pregnant, being thirsty
Dependent Entity
[±Relational]
Role, Function, Power, Disposition
[Have realizations, called processes]
To circulate blood, to secrete hormones
Quality
[Sometimes form quality-
regions or scales]
Requisite
[Have determinable/
determinate structure]
Temperature. height
Optional
Diabetes
Fiat part of substance *
Extremity, upper body
Substance
Organism, organ
Unoccupied
Occupied
Spatial region of 3
dimensions
occupied by organism
Spatial region of 2
dimensions *
occupied by burn, bruise
Boundary of substance *
Surface of skin or hide
MedO Draft 0.0004
Aggregate of substances *
Family, mother and fetus
![Page 119: 1 The Cornucopia of Formal- Ontological Relations Barry Smith and Pierre Grenon Institute for Formal Ontology and Medical Information Science](https://reader035.vdocuments.us/reader035/viewer/2022062516/56649d4e5503460f94a2d621/html5/thumbnails/119.jpg)
119
Are there any cases of ontological dependence involving an increase in being,
analogous to the increase in being between the thought and the thinker, the charge and the conductor, the swim and the swimmer
between SPAN and SPAN entities?
(Hypothesis: all qualities of processes are essential)
Puzzle
![Page 120: 1 The Cornucopia of Formal- Ontological Relations Barry Smith and Pierre Grenon Institute for Formal Ontology and Medical Information Science](https://reader035.vdocuments.us/reader035/viewer/2022062516/56649d4e5503460f94a2d621/html5/thumbnails/120.jpg)
120
Co-temporality
is a requisite for most SNAP-SPAN relations (participation, realization, etc.)
Exception: the memory of a process state of memory: SNAP(vs. episodic remembering: SPAN)