has software part (is software part of) – PP21

PP21 has software part (is software part of)

Quantification:

No quantifiers yet.

Scope note:

No scope note yet.

Examples:

No example yet.

In First Order Logic:

  • PP21(x,y) ⇒ PE23(x)
  • PP21(x,y) ⇒ D14(y)
  • PP21(x,y) ⇒ PP18(x,y)

Scope notes

Examples

Additional notes

Identifier: PP21

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

Domain and range

rdo:PE23 Volatile Software → PP21 has software part (is software part of) → crmdig:D14 Software

Labels

: Standard label for this language

Namespace

Parent properties

Ancestor properties

Child and descendant properties

Related properties

Profiles using this property

Comments