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.

Sign up for GitHub

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

Jump to bottom

Add develops_from is_a has_developmental_contribution_from #669

Closed
anitacaron opened this issue Jan 16, 2023 · 1 comment · Fixed by #724
Closed

Add develops_from is_a has_developmental_contribution_from #669

anitacaron opened this issue Jan 16, 2023 · 1 comment · Fixed by #724
Assignees
@anitacaron
Labels
rule Has something to do with rules or axioms

Comments

@anitacaron
Copy link
Collaborator

anitacaron commented Jan 16, 2023 •
edited
Loading

Add logical axiom from UBERON.

Context: obophenotype/uberon#2453

[Typedef]
id: develops_from
name: develops from
xref: RO:0002202
is_a: has_developmental_contribution_from ! has developmental contribution from
@anitacaron anitacaron mentioned this issue Jan 16, 2023
Open
@anitacaron anitacaron self-assigned this Jun 12, 2023
@anitacaron anitacaron changed the title Add has_developmental_contribution_from is_a develops_from Add develops_from is_a has_developmental_contribution_from Jun 12, 2023
@anitacaron anitacaron mentioned this issue Jun 12, 2023
Merged
@matentzn
Copy link
Contributor

@nlharris nlharris added the rule Has something to do with rules or axioms label Aug 14, 2023
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees

@anitacaron anitacaron

Labels
rule Has something to do with rules or axioms
Projects
None yet
Milestone
No milestone
Development

Successfully merging a pull request may close this issue.

Add classification to develops from oborel/obo-relations
3 participants
@nlharris @anitacaron @matentzn