is specified by (specifies) – R35
R35 is specified by (specifies)
Domain:
Range:
Quantification:
1,n:1,1
Subproperty of:
Scope note:
This property associates an instance of F12 Nomen with an instance of F2 Expression which documents, defines or provides evidence for the particular nomen in the stated sense.
Examples:
‘acoustic surface wave device’ as a term for the device (F12) is specified by INSPEC Thesaurus version January 1973 (F2).
‘595.7’ as a classification number for the taxonomic class Insecta (insects) (F12) is specified by the 23rd edition of the Dewey Decimal Classification (DDC) (F2).
‘Martin Doerr’ as the name of a co-chair of the CIDOC CRM SIG (F12) is specified by the statement on the title page of the Definition of the ‘CIDOC Conceptual Reference Model’, Version 7.1.3, February 2024 (F2).
In First Order Logic:
- R35(x,y) ⇒ F12(x)
- R35(x,y) ⇒ F2(y)
- R35(x,y) ⇒ P67(x,y)
Scope notes
Examples
Additional notes
Identifier: R35
Official URI: http://iflastandards.info/ns/lrm/lrmoo/R35
OntoME URI: https://ontome.net/ontology/p2229
Domain and range
lrmoo:F12 Nomen → R35 is specified by (specifies) → lrmoo:F2 Expression (Quantifiers 1,n:1,1)
Labels
: Standard label for this language
Comments
Vincent Alamercery
As the CIDOC CRM says in its terminology (https://cidoc-crm.org/sites/default/files/cidoc_crm_v7.1.2.pdf): "In contrast to some knowledge representation languages, such as RDF and OWL, we regard that the inverse of a property is not a property in its own right that needs an explicit declaration of being inverse of another, but an interpretation implicitly existing for any property." we shouldn't be able to declare a property as a sub-property of an inverse property. I therefore propose that we declare this property as a sub-property of crm:P67.
on December 8, 2023 15:43Tara Andrews
Spec has this as sub-property of crm:P67i (i.e. an inverse property), but I don't see how to enter that into OntoME.
on May 8, 2023 20:45