Open GoogleCodeExporter opened 9 years ago
~/repos/cell-ontology/src/ontology $ grep UNSAT cl-bridge-to-fbbt-check.txt.fail | cut -f1 UNSAT: FBbt:00000038 'chorion' UNSAT: FBbt:00000091 'pole bud' UNSAT: FBbt:00000035 'yolk' UNSAT: FBbt:00000034 'egg' UNSAT: FBbt:00005288 'fertilized egg' UNSAT: FBbt:00007247 'chorionic layer' UNSAT: FBbt:00000039 'inner chorionic layer' UNSAT: FBbt:00007248 'chorionic specialization' UNSAT: FBbt:00004891 'pole plasm' UNSAT: FBbt:00004892 'pole granule' UNSAT: FBbt:00015288 'unfertilized egg' UNSAT: FBbt:00000051 'polar body nucleus' UNSAT: FBbt:00000050 'female pronucleus' UNSAT: FBbt:00000046 'dorsal appendage' UNSAT: FBbt:00000047 'posterior aeropyle' UNSAT: FBbt:00000048 'pronucleus' UNSAT: FBbt:00000049 'male pronucleus' UNSAT: FBbt:00000042 'vitelline membrane' UNSAT: FBbt:00000043 'micropyle' UNSAT: FBbt:00000044 'collar' UNSAT: FBbt:00000045 'egg operculum' UNSAT: FBbt:00000041 'exochorion' UNSAT: FBbt:00000040 'endochorion' NUMBER_OF_UNSATISFIABLE_CLASSES: 23
Original issue reported on code.google.com by cmung...@gmail.com on 24 Jul 2014 at 12:58
cmung...@gmail.com
Original comment by cmung...@gmail.com on 24 Jul 2014 at 12:58
Example explanation for one:
Original comment by cmung...@gmail.com on 24 Jul 2014 at 1:01
Attachments:
Original issue reported on code.google.com by
cmung...@gmail.com
on 24 Jul 2014 at 12:58