crm:P101_had_as_general_use leaf node


URI

http://www.cidoc-crm.org/cidoc-crm/P101_had_as_general_use

Label

P101 had as general use

Description

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)

Usage

DOMAINPROPERTYRANGE
crm:E70_Thing crm:P101_had_as_general_use crm:E55_Type

Implementation

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