OntoME

Domain:

E1 CRM Entity

Range:

E55 Type

Superproperty of:

• E1 CRM Entity → P137 exemplifies → E55 Type
• C8 Geographical Place → P8 has geographical place type → C9 Geographical Place Type
• C2 Geographical localisation (Temporal entity) → P7 has localisation type → C16 Geographical localisation type
• F4 Manifestation Singleton → P20 has manifestation singleton type → C17 Manifestation singleton type
• F3 Manifestation Product Type → P21 has type of manifestation product type → C19 Type of manifestation product type
• F2 Expression → P22 has expression type → C21 Expression type
• C11 Built work → P17 has built work type → C13 Built work type
• E74 Group → P19 has group type → C18 Group type
• E5 Event → P18 has event type → C4 Event type
• C12 Membership → P36 has membership type → C27 Membership type
• C10 Appellation in a language (Temporal entity) → P39 has appellation for language type (is appellation for language type of) → C29 Appellation for language type
• C6 Social relationship → P40 has social relationship type (is social relationship type of) → C30 Social relationship type
• C31 Union → P43 has type of union (is type of union of) → C32 Type of union
• E22 Man-Made Object → P51 has type (is type of man-made object) → C35 Man-Made Object Type

Quantification:

0,n:0,n

Scope note:

This property allows sub typing of CRM entities - a form of specialisation – through the use of a terminological hierarchy, or thesaurus. The CRM is intended to focus on the high-level entities and relationships needed to describe data structures. Consequently, it does not specialise entities any further than is required for this immediate purpose. However, entities in the isA hierarchy of the CRM may by specialised into any number of sub entities, which can be defined in the E55 Type hierarchy. E51 Contact Point, for example, may be specialised into “e-mail address”, “telephone number”, “post office box”, “URL” etc. none of which figures explicitly in the CRM hierarchy. Sub typing obviously requires consistency between the meaning of the terms assigned and the more general intent of the CRM entity in question.

Examples:

No example yet.

In First Order Logic:

• P2(x,y) ⊃ E1(x)
• P2(x,y) ⊃ E55(y)