foresees function (is foreseen function of) – U35

U35 foresees function (is foreseen function of)

Quantification:

No quantifiers yet.

Scope note:

No scope note yet.

Examples:

No example yet.

In First Order Logic:

  • U35(x,y) ⇒ E29(x)
  • U35(x,y) ⇒ M31(y)
  • U35(x,y) ⇒ P67(x,y)

Scope notes

Examples

Additional notes

Identifier: U35

Official URI: http://data.doremus.org/ontology#U35_foresees_function
OntoME URI: https://ontome.net/ontology/p2022

Domain and range

crm:E29 Design or Procedure → U35 foresees function (is foreseen function of) → mus:M31 Actor's Function

Labels

: Standard label for this language

Namespace

Parent properties

Ancestor properties

Child and descendant properties

Related properties

Profiles using this property

Comments