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 and comments
This property describes the activity that is being operated by a person. en WIP

Examples

Show Example Language Namespace View details and comments

Additional notes

Show Notes Language Namespace View details and comments

Domain and range

E7 Activity → L30 has operator → E21 Person

Labels

Label Language Last updated View details and comments
has operator en 2019-01-25

Namespace

Namespace URI Last updated
http://dataforhistory.org/imported_ontology/cidoc-crm/CRMdig/3/2/ 2019-04-02

Parent properties

Property identifier Justification Root namespace View association
carried out by – P14 http://dataforhistory.org/imported_ontology/cidoc-crm/base/

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