obophenotype / uberon

An ontology of gross anatomy covering metazoa. Works in concert with https://github.com/obophenotype/cell-ontology
http://obophenotype.github.io/uberon/
Other
134 stars 29 forks source link

uberon makes cl:luteal cell unsatisfiable #49

Closed cmungall closed 12 years ago

cmungall commented 12 years ago

http://build.berkeleybop.org/job/build-uberon/220/console

need to look in merged.owl with hermit on (slow) for explanations. But probably to do with the combination of logical def and disjointness axiom here:

[Term] id: CL:0000039 name: germ line cell namespace: cell def: "A cell that is within the developmental lineage of gametes and is able to pass along its genetic material to offspring." [GOC:tfm, ISBN:0721662544] comment: Originally this term had some plant germ line cell children. intersection_of: CL:0000548 ! animal cell intersection_of: capable_of GO:0022414 ! reproductive process disjoint_from: CL:0002371 ! somatic cell

and the part_of here:

[Term] id: CL:0000175 name: luteal cell namespace: cell def: "A progesterone secreting cell in the corpus luteum. The large luteal cells develop from the granulosa cells. The small luteal cells develop from the theca cells." [MESH:A.05.360.319.114.630.278.400] synonym: "lutein cell" EXACT [] xref: BTO:0003939 xref: FMA:18688 is_a: CL:0000174 ! steroid hormone secreting cell is_a: CL:0002132 ! stromal cell of ovary relationship: capable_of GO:0042701 ! progesterone secretion relationship: part_of UBERON:0002512 ! corpus luteum

cmungall commented 12 years ago

resolved