You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
Fixes#3329 unsat for ZFA mapping
parallel fiber, teleost SubClassOf only in taxon some teleost fish
This axiom was not correct, since "teleost fish" is a subclass of 'unclassified Teleostei', a SubclassOf 'Teleostei'.
All classified Teleostei also have parallel fibers.
ZFA_0001713 SubClassOf Nothing
Axiom Impact
Axioms used 1 times
Ontologies used:
Originally posted by @github-actions[bot] in #3328 (comment)
This was added in the latest release:
The text was updated successfully, but these errors were encountered: