used object of type – P125

P125 used object of type

Domain:

E7 Activity

Range:

E55 Type

Subproperty of:

Superproperty of:

Quantification:

No quantifiers yet.

Scope note:

This property defines the kind of objects used in an E7 Activity, when the specific instance is either unknown or not of interest, such as use of "a hammer".

Examples:

No example yet.

In First Order Logic:

  • P125(x,y) ⊃ E7(x)
  • P125(x,y) ⊃ E55(y)
  • P125(x,y) ⊃ topObjectProperty(x,y)

Scope Notes

Show Scope note Language Namespace View details Comments
This property defines the kind of objects used in an E7 Activity, when the specific instance is either unknown or not of interest, such as use of "a hammer". en WIP 0

Examples

Show Example Language Namespace View details Comments

Additional notes

Show Notes Language Namespace View details Comments

Identifier : P125

Domain and range

E7 Activity → P125 used object of type → E55 Type

Labels

Label Language Last updated View details Comments
benutzte Objekt des Typus * de 2018-09-14 0
χρησιμοποίησε αντικείμενο τύπου * el 2018-09-14 0
used object of type * en 2018-09-14 0
a employé un objet du type * fr 2018-09-14 0
usou objeto do tipo * pt 2018-09-14 0
использовал объект типа * ru 2018-09-14 0
有使用物件类型 * zh 2018-09-14 0

: Standard label for this language

Namespace

Namespace Last updated
CIDOC CRM version 6.2 2019-03-28

Parent properties

Domain Property Range Justification Root namespace View association
Thing topObjectProperty Thing The OWL 2 Schema vocabulary

Ancestor properties

Domain Property Range Depth Root namespace

Childs and descendant properties

Domain Property Range Depth Root namespace
Activity – E7 P32 used general technique Type – E55 1 CIDOC CRM
Argument – histC15 (0,n) histP23 has argument method (1,1) Argument's method – histC22 2 CIDOC CRM Generic Extension for Historical Data Management and Interoperability
Digital Measurement Event – D11 L17 measured thing of type Type – E55 1 CRMdig: An Extension of CIDOC CRM to support provenance metadata

Related properties

Relation Property Justification Defined in namespace View details

Profiles using this class

Label Start date End date Last updated
Silknow working profile 2019-09-23

Comments