Jieming project3 #72
Conversation
Update README.md
| (b) Transitive | ||
|
|
||
| Answer: aligned with | ||
| In BFO and RO, the property "aligned with" is transitive, which means if a is aligned with b, and b is aligned with c, then a is aligned with c. In addition, aligned with can be applied to both occurrent entities, say processes, and continuant entities, such as individuals with blood relationships. |
There was a problem hiding this comment.
'aligned with' is not in BFO. Can you supply the IRI for this object property?
As I understand, alignment is in terms of spatial orientation.
| 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, you need to spell out Sally as an object who participates in a process.
|
|
||
| Answer: Liver has_part_at_all_times Cell | ||
|
|
||
| Liver is a class in Uberon (UBERON_0002107), which is a subclass of material entity. |
There was a problem hiding this comment.
Yes, but what is the formal model of the sentence?
| Answer: John participates in childhood precedes John participates in adulthood which precedes John participates in seniorhood | ||
|
|
||
| John is an instance_of object | ||
| John's childhood is an instance_of occurrent. |
There was a problem hiding this comment.
You need to put these items together to represent the natural language expression.
| Gallant is an instance_of object | ||
| Marriage is an instance_of occurrent | ||
| “Three years span 1” is an instance_of one-dimensional temporal region. | ||
| Goofus and Gallant may be not married to each other. |
There was a problem hiding this comment.
Recall, when given ambiguity you need to provide multiple formal representations, i.e. a model where they're married to each other, a model where they're not, etc.
|
|
||
| (a) Sally has an arm Tuesday but does not have an arm Wednesday. | ||
|
|
||
| ∃x (Tx ∧ ∃y (Hsy∧Ay)) ∧ ∃x (Wx ∧ ~∃y(Hsy∧Ay)) |
There was a problem hiding this comment.
This says Sally has NO arms on Wednesday; is that what you meant?
|
|
||
| (b) Every liver has some cell as part at all times it exists. | ||
|
|
||
| ∀x∃y(Lx→Cy∧Pyx) |
2 participants
Dear John,
This is the submission of my project 3. Hope to have your review of it.
Bests,
Jieming