[Logical def] platlet

[dosumis]

CL term

platelet EquivalentTo: 'myeloid cell' and 'has characteristic' some anucleate) and ('has characteristic' some discoid) and ('capable of' some 'blood coagulation') and ('capable of' some 'blood circulation')

Suggested revision of logical definition

~The equivalence axiom does not appear to do any useful work in classification, so I think should be relaxed to subClassOf.

Two other corrections are needed:

1. 'capable of' to 'capable of part of'

('capable of' some 'blood coagulation') Is not correct. Although platelets are critical to the process, other factors (outside of platelets) are involved.

2. '('capable of' some 'blood circulation') <-- this should just be dropped, here and anywhere else it is used. It seems to be used to mean capable of circulating in the blood, but the term is defined as: "The flow of blood through the body of an animal, enabling the transport of nutrients to the tissues and the removal of waste products." It's hard to imagine how a cell could be capable of that. If we really need a way to record blood cells as circulating we should use a different pattern.

[addiehl]

Works for me. Representation of an earlier period in CL development when we were trying to capture most characteristics in equivalence axioms rather than subclass axioms without regard as to whether they represent coherent necessary and sufficient conditions to define a cell type.