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)
Domain:
Range:
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
Comments
No comment found.