is asserted by (asserts) – P16

This property does not yet have the minimum number of validated parts required for publication.

P16 is asserted by (asserts)

Quantification:

0,n:1,1

Scope note:

This property associates a propositional object with an expression that contains it and asserts it

Examples:

No example yet.

In First Order Logic:

  • P16(x,y) ⇒ E89(x)
  • P16(x,y) ⇒ F2(y)

Scope notes

Examples

Additional notes

Identifier: P16

Official URI: https://ontome.net/ns/intellectual-literary-life/P16
OntoME URI: https://ontome.net/ontology/p1838

Domain and range

crm:E89 Propositional Object → P16 is asserted by (asserts) → frbroo:F2 Expression  (Quantifiers 0,n:1,1)

Labels

: Standard label for this language

Namespace

Parent properties

Ancestor properties

Child and descendant properties

Related properties

Profiles using this property

Comments