Jvonderhbuff project 3#76
Conversation
| Tuesday is instance_of one-dimensional temporal region | ||
| Wednesday is an instance of one-dimensional temporal region | ||
| Arm is an instance of fiat object part | ||
| “Sally participates in having at least one arm on Tuesday” is an instance of occurrent |
There was a problem hiding this comment.
Not quite, your model should look a little more like:
Sally is an instance of object
Sally participates in a process p of having an arm
p has a temporal extent that is Tuesday...
| John's childhood is an instance_of occurrent. | ||
| John's adulthood is an instance_of occurrent. | ||
| John's seniorhood is an instance_of occurrent. | ||
| “John participates in childhood precedes John participates in adulthood which precedes John participates in seniorhood.” |
There was a problem hiding this comment.
You'll need to unpack the participation relation and the relationships between the processes and time
| ∃(x)(x=s^(Tx^~Wx)) | ||
| s=Sally | ||
| T=Has an arm on Tuesday | ||
| W=Has an arm on Wednesday |
| ∀(x)(Lx->∃(y)(Cy^Pyx)) | ||
| L=Is a liver | ||
| C=Is a cell | ||
| P=_is a part of_ |
|
|
||
| (d) Goofus and Gallant have been married for three years; for each day of that span, it is true to assert they are married. | ||
|
|
||
| ∀t(D(t) ∧ Y(t)→(M(g1,t) ∧ M(g2,t))) |
There was a problem hiding this comment.
Does this imply they married were at each point throughout the 3 year span? (it should)
| Content is an instance_of generic dependent continuant | ||
| File is an instance_of generic dependent continuant | ||
| File 1 Turtle implements content 1 | ||
| File 2 XML implements content 1 |
| Files 1 and 2 are output of Computer 1 | ||
| Computer 1 is bearer of File 1 and File 2 | ||
| Computer 1 is an instance_of material entity | ||
| Computer 1 sends output to Computers 2 and 3 |
| Generically Dependent Continuant | ||
| (b) Chair of the UB Philosophy Department | ||
| Role | ||
| (c) SARS-CoV-2 |
There was a problem hiding this comment.
This is a material object...don't confuse the disease with the causative pathogen
| John’s running occurs in 3-hours, which is instance_of one-dimensional temporal region. | ||
| John's running consists of three temporal parts: Beginning, Middle, and End | ||
| Beginning, Middle, and End are instances_of one-dimensional temporal regions | ||
| Beginning realizes normal running speed |
There was a problem hiding this comment.
Processes can't realize dispositions. On your model, John bears, say, normal running speed disposition that is realized in a process of normal running speed and that process is temporal part of John's running which projects onto a proper part of the 1-D temporal region on which John's running projects
2 participants
Pull Request for third project.