Scope note:
This property allows an item to be declared as a particular example of an E55 Type or taxon
The P137.1 in the taxonomic role property of P137 exemplifies (is exemplified by) allows differentiation of taxonomic roles. The taxonomic role renders the specific relationship of this example to the Type, such as "prototypical", "archetypical", "lectotype", etc. The taxonomic role "lectotype" is not associated with the Type Creation (E83) itself, but selected in a later phase.
Examples:
- Object BM000098044 of the Clayton Herbarium (E20) exemplifies Spigelia marilandica (L.) L. (E55) in the taxonomic role lectotype
In First Order Logic:
P137(x,y) ⊃ E1(x)
P137(x,y) ⊃ E55(y)
P137(x,y,z) ⊃ [P137(x,y) ∧ E55(z)]
P137(x,y) ⊃ P2(x,y)
Properties: P137.1 in the taxonomic role: E55 Type
Attributes | Values |
---|
type
| |
subPropertyOf
| |
inverseOf
| |
label
| |
domain
| |
range
| |
comment
| - Scope note:
This property allows an item to be declared as a particular example of an E55 Type or taxon
The P137.1 in the taxonomic role property of P137 exemplifies (is exemplified by) allows differentiation of taxonomic roles. The taxonomic role renders the specific relationship of this example to the Type, such as "prototypical", "archetypical", "lectotype", etc. The taxonomic role "lectotype" is not associated with the Type Creation (E83) itself, but selected in a later phase.
Examples:
- Object BM000098044 of the Clayton Herbarium (E20) exemplifies Spigelia marilandica (L.) L. (E55) in the taxonomic role lectotype
In First Order Logic:
P137(x,y) ⊃ E1(x)
P137(x,y) ⊃ E55(y)
P137(x,y,z) ⊃ [P137(x,y) ∧ E55(z)]
P137(x,y) ⊃ P2(x,y)
Properties: P137.1 in the taxonomic role: E55 Type (en)
|
notation
| |
is inverseOf
of | |
Faceted Search & Find service v1.16.118 as of Aug 04 2024
OpenLink Virtuoso version 07.20.3240 as of Aug 4 2024, on Linux (x86_64-pc-linux-musl), Single-Server Edition (126 GB total memory, 2 GB memory in use)
Data on this page belongs to its respective rights holders.
Virtuoso Faceted Browser Copyright © 2009-2024 OpenLink Software