E1 CRM Entity and E59 Primitive Value are the only classes in CRM without a superclass. I assume we can imply from this that the two classes are disjoint.
In the CRMcore definintion the FOL descriptions are E1 CRM Entity: E1(x) E59 Primitive Value: E59(x) The FOL descriptions in CRM are open expression with an implied universal quantifier. This is ok but not very informative for E1(x) = "all x. E1(x)" expresses the idea that everything we talk about are instanses of the universal class E1 CRM Entity. The E59(x) = "all x.E59(x)" blurs the picture and indicate in a FOL description of CRM that everything is a primitive value. It is ok to have the E59(x) as a predicate, but "all x.E59(x)"? cannot be an axiom. We can solve this by removing the FOL description of E59. Opinions? Best, Christian-Emil
