has release (is release of) – PP22

PP22 has release (is release of)

Domain:

rdo:PE23 Volatile Software

Range:

rdo:PE21 Persistent Software

Quantification:

No quantifiers yet.

Subproperty of:

Scope note:

No scope note yet.

Examples:

No example yet.

In First Order Logic:

  • PP22(x,y) ⇒ PE23(x)
  • PP22(x,y) ⇒ PE21(y)
  • PP22(x,y) ⇒ PP17(x,y)

Scope notes

Examples

Additional notes

Identifier: PP22

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

Domain and range

rdo:PE23 Volatile Software → PP22 has release (is release of) → rdo:PE21 Persistent Software

Labels

: Standard label for this language

Namespace

Parent properties

Ancestor properties

Child and descendant properties

Related properties

Profiles using this property

Comments