Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jieming project3 #72

Open
wants to merge 28 commits into
base: main
Choose a base branch
from
Open

Conversation

Jiemingy
Copy link
Collaborator

Dear John,

This is the submission of my project 3. Hope to have your review of it.

Bests,
Jieming

(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.
Copy link
Owner

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

'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
Copy link
Owner

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

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.
Copy link
Owner

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

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.
Copy link
Owner

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

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.
Copy link
Owner

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

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))
Copy link
Owner

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

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)
Copy link
Owner

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Time?

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants