defines typical parts of (defines typical wholes for) – P150

P150 defines typical parts of (defines typical wholes for)

Domain:

E55 Type

Range:

E55 Type

Quantification:

0,n:0,n

Scope note:

The property "broaderPartitive" associates an instance of E55 Type “A” with an instance of E55 Type “B”, when items of type “A” typically form part of items of type “B”, such as “car motors” and “cars”. It allows Types to be organised into hierarchies. This is the sense of "broader term partitive (BTP)" as defined in ISO 2788 and “broaderPartitive” in SKOS.

Examples:

No example yet.

In First Order Logic:

  • P150(x,y) ⊃ E55(x)
  • P150(x,y) ⊃ E55(y)

Scope Notes

Show Scope note Language Namespace View details Comments
The property "broaderPartitive" associates an instance of E55 Type “A” with an instance of E55 Type “B”, when items of type “A” typically form part of items of type “B”, such as “car motors” and “cars”. It allows Types to be organised into hierarchies. This is the sense of "broader term partitive (BTP)" as defined in ISO 2788 and “broaderPartitive” in SKOS. en WIP 0

Examples

Show Example Language Namespace View details Comments

Additional notes

Show Notes Language Namespace View details Comments

Identifier : P150

Domain and range

E55 Type → P150 defines typical parts of (defines typical wholes for) → E55 Type  (Quantifiers 0,n:0,n)

Labels

Label Language Last updated View details Comments
defines typical parts of (defines typical wholes for) * en 2020-08-26 0

: Standard label for this language

Namespace

Namespace Last updated
CIDOC CRM version 6.2 2020-08-26

Parent properties

Domain Property Range Justification Relation namespace View details Comments

Ancestor properties

Domain Property Range Depth Property namespace

Child and descendant properties

Domain Property Range Depth Property namespace

Related properties

Relation Property Justification Relation namespace View details Comments

Profiles using this class

Label Start date End date Last updated

Comments