http://www.cidoc-crm.org/cidoc-crm/P101_had_as_general_use
Scope note:
This property links an instance of E70 Thing to an E55 Type of usage.
It allows the relationship between particular things, both physical and immaterial, and general methods and techniques of use to be documented. Thus it can be asserted that a baseball bat had a general use for sport and a specific use for threatening people during the Great Train Robbery.
Examples:
- Tony Gill's Ford Mustang (E22) had as general use transportation (E55)
In First Order Logic:
P102(x,y) ⊃ E71(x)
P102(x,y) ⊃ E35(y)
P102(x,y,z) ⊃ [P102(x,y) ∧ E55(z)]
P102(x,y) ⊃ P1(x,y)
DOMAIN | PROPERTY | RANGE |
---|---|---|
crm:E70_Thing | crm:P101_had_as_general_use | crm:E55_Type |
@prefix crm: <http://www.cidoc-crm.org/cidoc-crm/> .
@prefix ecrm: <http://erlangen-crm.org/current/> .
@prefix owl: <http://www.w3.org/2002/07/owl#> .
@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> .
@prefix skos: <http://www.w3.org/2004/02/skos/core#> .
@prefix xsd: <http://www.w3.org/2001/XMLSchema#> .
crm:P101_had_as_general_use a owl:ObjectProperty ;
rdfs:label "P101 had as general use"@en ;
rdfs:comment """Scope note:
This property links an instance of E70 Thing to an E55 Type of usage.
It allows the relationship between particular things, both physical and immaterial, and general methods and techniques of use to be documented. Thus it can be asserted that a baseball bat had a general use for sport and a specific use for threatening people during the Great Train Robbery.
Examples:
- Tony Gill's Ford Mustang (E22) had as general use transportation (E55)
In First Order Logic:
P102(x,y) ⊃ E71(x)
P102(x,y) ⊃ E35(y)
P102(x,y,z) ⊃ [P102(x,y) ∧ E55(z)]
P102(x,y) ⊃ P1(x,y)"""@en ;
rdfs:domain crm:E70_Thing ;
rdfs:range crm:E55_Type ;
owl:equivalentProperty ecrm:P101_had_as_general_use ;
owl:inverseOf crm:P101i_was_use_of ;
skos:notation "P101"^^xsd:string .