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

P150 defines typical parts of (defines typical wholes for)

Domain:

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:

Car motors (E55) defines typical parts of cars (E55)

In First Order Logic:

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

Scope notes

Examples

Additional notes

Identifier: P150

Official URI: http://www.cidoc-crm.org/cidoc-crm/P150_defines_typical_parts_of
OntoME URI: https://ontome.net/ontology/p138

Domain and range

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

Labels

: Standard label for this language

Namespace

Parent properties

Ancestor properties

Child and descendant properties

Related properties

Profiles using this property

Comments