currently offers (is currently offered by) – PP1

PP1 currently offers (is currently offered by)

Domain:

rdo:PE26 RI Project

Range:

rdo:PE1 Service

Quantification:

No quantifiers yet.

Subproperty of:

Scope note:

No scope note yet.

Examples:

No example yet.

In First Order Logic:

  • PP1(x,y) ⇒ PE26(x)
  • PP1(x,y) ⇒ PE1(y)
  • PP1(x,y) ⇒ P9(x,y)

Scope notes

Show Scope note Language Namespace View details Comments

Examples

Show Example Language Namespace View details Comments

Additional notes

Show Notes Type Language Namespace View details Comments

Identifier: PP1

Official URI: http://ontologies.mpiwg-berlin.mpg.de/rdo/PP1
OntoME URI: https://ontome.net/ontology/p2165

Domain and range

rdo:PE26 RI Project → PP1 currently offers (is currently offered by) → rdo:PE1 Service

Labels

Label Language Last updated View details Comments
currently offers (is currently offered by) * en 2023-01-19 0

: Standard label for this language

Parent properties

Domain Property Range Property namespace Relation defined in Justification View details Edit Delete Comments
crm:E4 Period (0,n) P9 consists of (forms part of) (0,n) crm:E4 Period CIDOC CRM version 7.1.3 Parthenos Entities: Research Infrastructure Model, version 3.1 0

Ancestor properties

Domain Property Range Depth Property namespace
crm:E92 Spacetime Volume (1,n) P10 falls within (contains) (1,n) crm:E92 Spacetime Volume 2 CIDOC CRM version 7.1.3
crm:E92 Spacetime Volume (0,n) P132 overlaps with (0,n) crm:E92 Spacetime Volume 3 CIDOC CRM version 7.1.3
crm:E92 Spacetime Volume (0,n) P132 spatiotemporally overlaps with (0,n) crm:E92 Spacetime Volume 3 CIDOC CRM version 7.1.3

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