holds to be – J5
J5 holds to be
Domain:
Range:
Quantification:
0,n:1,1
Scope note:
This property associates an instance of I2 Belief with the I6 Belief Value that reflects the opinion of the instance of I2 Belief about the I4 Proposition Set associated with it.
Examples:
Dragendorff’s belief that type 29 bowls are from the 1 st century AD (I2) holds to be True (I6)
In First Order Logic:
- J5(x,y) ⇒ I2(x)
- J5(x,y) ⇒ I6(y)
Scope notes
Examples
Additional notes
Identifier: J5
Official URI: http://www.cidoc-crm.org/extensions/crminf/J5_holds_to_be
OntoME URI: https://ontome.net/ontology/p1251
Domain and range
crminf:I2 Belief → J5 holds to be → crminf:I6 Belief Value (Quantifiers 0,n:1,1)
Labels
: Standard label for this language
Comments
No comment found.