is specified by (specifies) – R35

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

R35 is specified by (specifies)

Domain:

lrmoo:F12 Nomen

Range:

lrmoo:F2 Expression

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.2, June 2022 (F2).

In First Order Logic:

  • R35(x,y) ⇒ F12(x)
  • R35(x,y) ⇒ F2(y)
  • R35(x,y) ⇒ P67(x,y)

Scope notes

Show Scope note Language Namespace View details Comments Validation
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. en LRMoo 0.9.6 0 Candidate

Examples

Show Example Language Namespace View details Comments Validation
‘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.2, June 2022 (F2). en LRMoo 0.9.6 0 Candidate

Additional notes

Show Notes Type Language Namespace View details Comments Validation

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

Label Language Last updated View details Comments Validation
is specified by (specifies) * en 2023-05-08 0 Candidate

: Standard label for this language

Namespace

Namespace Last updated
LRMoo 0.9.6 2023-01-25

Parent properties

Domain Property Range Property namespace Relation defined in Justification View details Edit Delete Comments Validation
crm:E89 Propositional Object (0,n) P67 refers to (is referred to by) (0,n) crm:E1 CRM Entity CIDOC CRM version 7.1.2 LRMoo 0.9.6 0 Candidate

Ancestor properties

Domain Property Range Depth Property namespace

Child and descendant properties

Domain Property Range Depth Property namespace

Related properties

Relation Property Property namespace Relation defined in Justification View details Edit Delete Comments Validation

Profiles using this property

Label Version Status Last updated

Comments