search

obophenotype / zebrafish-phenotype-ontology

A vocabulary for describing Zebrafish Phenotypes
https://obophenotype.github.io/zebrafish-phenotype-ontology/
9 stars 3 forks source link

ZP:0103989 bearer currently broken #25

Closed matentzn closed 4 years ago

matentzn commented 5 years ago

The definition currently is (coming from ZFIN EQs):

'has part' some 
(absent and ('inheres in' some 
('intersegmental vessel' and ('part of' some 'thoracic duct'))) and ('has modifier' some abnormal))

The problem is this: lymphatic vessel is disjoint with blood vessel.

However, the bearer above (('intersegmental vessel' and ('part of' some 'thoracic duct'))) is both a blood vessel (an intersegmental vessel is a blood vessel according to ZFA) AND a lymphatic vessel:

  1. A lymphatic vessel is equivalentTo: a vessel that is part of some lymph vasculature.
  2. the intersegemental vessel is obviously a vessel.
  3. ... and it is also part of the lymph vasculature, because 3.1. thoracic duct is a lymphatic vessel and 3.2.thoracic ductis part of thelymph vasculature`.

I dont know anatomy well enough to fix this, but @ybradford maybe you can see how to fix.

matentzn commented 4 years ago

Seems not to be a problem anymore