has operator (is operator of) – L30

L30 has operator (is operator of)

Domain:

crm:E7 Activity

Range:

crm:E21 Person

Quantification:

No quantifiers yet.

Subproperty of:

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

Examples

Additional notes

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

: Standard label for this language

Namespace

Parent properties

Ancestor properties

Child and descendant properties

Related properties

Profiles using this property

Comments