has operator (is operator of) – L30

L30 has operator (is operator of)

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 CRMdig version 3.2.1 0

Examples

Show Example Language Namespace View details Comments

Additional notes

Show Notes Type Language Namespace View details Comments

Identifier: L30

Official URI: http://www.ics.forth.gr/isl/CRMdig/L30_has_operator
OntoME URI: https://ontome.net/ontology/p1270

Domain and range

crm:E7 Activity → L30 has operator (is operator of) → crm:E21 Person

Labels

Label Language Last updated View details Comments
has operator (is operator of) en 2022-12-08 0

: Standard label for this language

Namespace

Namespace Last updated
CRMdig v 4.0 ongoing 2022-11-03
CRMdig version 3.2.1 2021-05-07

Parent properties

Domain Property Range Property namespace Relation defined in Justification View details Edit Delete Comments
crm:E7 Activity (0,n) P14 carried out by (performed) (1,n) crm:E39 Actor CIDOC CRM version 6.2 CRMdig version 3.2.1 0

Ancestor properties

Domain Property Range Depth Property namespace
crm:E5 Event (0,n) P11 had participant (participated in) (0,n) crm:E39 Actor 2 CIDOC CRM version 6.2
crm:E5 Event (0,n) P12 occurred in the presence of (was present at) (0,1) crm:E77 Persistent Item 3 CIDOC CRM version 6.2

Child and descendant properties

Domain Property Range Depth Property namespace

Related properties

Relation Property Property namespace Relation defined in Justification View details Edit Delete Comments

Profiles using this property

Label Version Status Last updated

Comments