Fixes #3329 unsat for ZFA mapping #3330
Merged
Add this suggestion to a batch that can be applied as a single commit.
This suggestion is invalid because no changes were made to the code.
Suggestions cannot be applied while the pull request is closed.
Suggestions cannot be applied while viewing a subset of changes.
Only one suggestion per line can be applied in a batch.
Add this suggestion to a batch that can be applied as a single commit.
Applying suggestions on deleted lines is not supported.
You must change the existing code in this line in order to create a valid suggestion.
Outdated suggestions cannot be applied.
This suggestion has been applied or marked resolved.
Suggestions cannot be applied from pending reviews.
Suggestions cannot be applied on multi-line comments.
Suggestions cannot be applied while the pull request is queued to merge.
Suggestion cannot be applied right now. Please check back later.
Fixes #3329 unsat for ZFA mapping
parallel fiber, teleost SubClassOf only in taxon some teleost fish
![image](https://private-user-images.githubusercontent.com/94959119/355488192-3fffe98a-3382-43d5-af4e-26fc2006bbf6.png?jwt=eyJhbGciOiJIUzI1NiIsInR5cCI6IkpXVCJ9.eyJpc3MiOiJnaXRodWIuY29tIiwiYXVkIjoicmF3LmdpdGh1YnVzZXJjb250ZW50LmNvbSIsImtleSI6ImtleTUiLCJleHAiOjE3MzAwMjgwNzMsIm5iZiI6MTczMDAyNzc3MywicGF0aCI6Ii85NDk1OTExOS8zNTU0ODgxOTItM2ZmZmU5OGEtMzM4Mi00M2Q1LWFmNGUtMjZmYzIwMDZiYmY2LnBuZz9YLUFtei1BbGdvcml0aG09QVdTNC1ITUFDLVNIQTI1NiZYLUFtei1DcmVkZW50aWFsPUFLSUFWQ09EWUxTQTUzUFFLNFpBJTJGMjAyNDEwMjclMkZ1cy1lYXN0LTElMkZzMyUyRmF3czRfcmVxdWVzdCZYLUFtei1EYXRlPTIwMjQxMDI3VDExMTYxM1omWC1BbXotRXhwaXJlcz0zMDAmWC1BbXotU2lnbmF0dXJlPWJkZDAxMGVmMTViOTNhMjQ5MTcwNDk1M2YyZTM5YTlmNmM4ZTkwZjMyMzA5MmM5ODkwZTQxN2RmOTVlMzQyZDAmWC1BbXotU2lnbmVkSGVhZGVycz1ob3N0In0.3tIegdXXcJvQCsCFgJyuaOjxGnKTEftzAE7rSiGzoAM)
![image](https://private-user-images.githubusercontent.com/94959119/355488407-1f81b49d-efb5-433b-82ce-b9780bfe84e9.png?jwt=eyJhbGciOiJIUzI1NiIsInR5cCI6IkpXVCJ9.eyJpc3MiOiJnaXRodWIuY29tIiwiYXVkIjoicmF3LmdpdGh1YnVzZXJjb250ZW50LmNvbSIsImtleSI6ImtleTUiLCJleHAiOjE3MzAwMjgwNzMsIm5iZiI6MTczMDAyNzc3MywicGF0aCI6Ii85NDk1OTExOS8zNTU0ODg0MDctMWY4MWI0OWQtZWZiNS00MzNiLTgyY2UtYjk3ODBiZmU4NGU5LnBuZz9YLUFtei1BbGdvcml0aG09QVdTNC1ITUFDLVNIQTI1NiZYLUFtei1DcmVkZW50aWFsPUFLSUFWQ09EWUxTQTUzUFFLNFpBJTJGMjAyNDEwMjclMkZ1cy1lYXN0LTElMkZzMyUyRmF3czRfcmVxdWVzdCZYLUFtei1EYXRlPTIwMjQxMDI3VDExMTYxM1omWC1BbXotRXhwaXJlcz0zMDAmWC1BbXotU2lnbmF0dXJlPTUxNWJhZWM2N2RlNTdiNzhlZjg3MzIzNDdiOWZkNzNmMjIzNmQyZWY1NTkwN2JmZWY4YWY2NDM3MjUwZDEyODMmWC1BbXotU2lnbmVkSGVhZGVycz1ob3N0In0.biREHb9p22eISWDpjpEcnSriEEiGoDoqZv0WsGg02kg)
This axiom was not correct, since "teleost fish" is a subclass of 'unclassified Teleostei', a SubclassOf 'Teleostei'. All classified Teleostei also have parallel fibers, and ZFA is using for Danio, a Osteoglossocephalai.
in taxon some Osteoglossocephalai DisjointWith in taxon some unclassified Teleostei