is specified by (specifies) – R35

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
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

Examples

Show Example Language Namespace View details Comments
‘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

Additional notes

Show Notes Type Language Namespace View details Comments

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
is specified by (specifies) * en 2023-05-08 0

: 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
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

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

Profiles using this property

Label Version Status Last updated

Comments