Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
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.
- Loading branch information