Code

Remove RO logical axioms#2771

Code

Merged

anitacaron merged 7 commits intomasterobophenotype/uberon:masterfrom remove-axiomsobophenotype/uberon:remove-axiomsCopy head branch name to clipboardJan 16, 2023

-5

Commits

Commits on Jun 6, 2022

• fix has developmental contribution from

  

  Anita Caron

  committed
  49f12e4

  Copy full SHA for 49f12e4

Commits on Jun 8, 2022

• remove external axiom in capable of prop

  

  Anita Caron

  committed
  ded8f1b

  Copy full SHA for ded8f1b

Commits on Jun 9, 2022

• remove external axioms

  

  Anita Caron

  committed
  de4c0c3

  Copy full SHA for de4c0c3

Commits on Jun 21, 2022

• remove external axioms

  

  Anita Caron

  committed
  1d9fba1

  Copy full SHA for 1d9fba1

• Merge branch 'master' into anitacaron/issue2453

  

  Anita Caron

  committed
  42cf2aa

  Copy full SHA for 42cf2aa

Commits on Jan 16, 2023

• Merge branch 'master' into anitacaron/issue2453

  anitacaron

  committed
  6695103

  Copy full SHA for 6695103

• remove RO axioms

  anitacaron

  committed
  a39d3d7

  Copy full SHA for a39d3d7