has operator – L30

L30 has operator

Domain:

Range:

Quantification:

No quantifiers yet.

Scope note:

This property describes the activity that is being operated by a person.

Examples:

No example yet.

In First Order Logic:

  • L30(x,y) ⊃ E7(x)
  • L30(x,y) ⊃ E21(y)
  • L30(x,y) ⊃ P14(x,y)

Scope Notes

Show Scope note Language Namespace View details Comments
This property describes the activity that is being operated by a person. en WIP 0

Examples

Show Example Language Namespace View details Comments

Additional notes

Show Notes Language Namespace View details Comments

Domain and range

E7 Activity → L30 has operator → E21 Person

Labels

Label Language Last updated View details Comments
has operator en 2019-01-25 0

Namespace

Namespace Last updated
CRMdig version 3.2 2019-04-02

Parent properties

Property identifier Justification Root namespace View association
P14 carried out by CIDOC CRM

Ancestor properties

Property identifier Depth Root namespace
P11 had participant 2 CIDOC CRM
P12 occurred in the presence of 3 CIDOC CRM
topObjectProperty 4 The OWL 2 Schema vocabulary

Childs and descendant properties

Property identifier Depth Root namespace

Equivalent properties

Profiles using this class

Label Start date End date Last updated

Comments