Skip to content

Change equivalence axiom for PaNET01069#211

Open
terencetan-c wants to merge 1 commit intopan-ontologies:masterfrom
terencetan-c:issue-187-fix-equivalence-axiom
Open

Change equivalence axiom for PaNET01069#211
terencetan-c wants to merge 1 commit intopan-ontologies:masterfrom
terencetan-c:issue-187-fix-equivalence-axiom

Commits

Commits on Jul 7, 2025