Drop FMP/@kind

[jbs1]

migrated from Trac, where originally posted by clange on 20-Aug-2010 1:21pm

FMP/**kind** is pretty much underspecified (quoting from the Abstract CD spec):

A Formal Mathematical Property may be given an optional kind attribute. An author of a Content Dictionary may use this to indicate whether, for example, the property provides an algorithm for evaluation of the concept it is associated with. At present no fixed scheme is mandated for how this information should be encoded or used by an application.
And I haven't seen it in use anywhere, at least not in any of the CDs at openmath.org. I think we can safely drop it. At the moment it's not worth more than a plain XML comment somewhere inside the FMP element.

[jbs1]

migrated from Trac, where originally posted by polx on 21-Aug-2010 9:48am

FMP exploitation is probably the most shameful lack of research and I believe any OM future project should do that.
Hence I'd rather keep it open as a simple extension place (certainly insufficient).

The centralization of openmath.org has certainly contributed to this freezing topic..

[jbs1]

migrated from Trac, where originally posted by clange on 16-May-2014 1:02am

Still a valid concern IMHO

[kohlhase]

moved to OpenMath/OMSTD#38