:P148i_is_component_of leaf node


URI

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

Type

rdf:Property

Label

is component of

Description

Quantification of the inverse property: many to many (0,n:0,n)

Scope note of the inverse property:
This property associates an instance of E89 Propositional Object with a structural part of it that is by itself an instance of E89 Propositional Object.
This property is transitive. This property is asymmetric.

Examples of the inverse property:
- Dante’s “Divine Comedy” (E89) has component Dante’s “Hell” (E89). (Alighieri, 1956)

In First Order Logic of the inverse property:
- P148(x,y) ⇒ E89(x)
- P148(x,y) ⇒ E89(y)
- [P148(x,y) ∧ P148(y,z)] ⇒ P148(x,z)
- P148(x,y) ⇒ ¬P148(y,x)

Usage

DOMAINPROPERTYRANGE
:E89_Propositional_Object :P148i_is_component_of :E89_Propositional_Object

Implementation

@prefix : <http://www.cidoc-crm.org/cidoc-crm/> .
@prefix owl: <http://www.w3.org/2002/07/owl#> .
@prefix rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#> .
@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> .

:P148i_is_component_of a rdf:Property ;
    rdfs:label "ist Bestandteil von"@de,
        "is component of"@en,
        "est le composant de"@fr,
        "являeтся компонeнтом"@ru,
        "是组件"@zh ;
    rdfs:comment """Quantification of the inverse property: many to many (0,n:0,n)

Scope note of the inverse property:
This property associates an instance of E89 Propositional Object with a structural part of it that is by itself an instance of E89 Propositional Object.
This property is transitive. This property is asymmetric.

Examples of the inverse property:
- Dante’s “Divine Comedy” (E89) has component Dante’s “Hell” (E89). (Alighieri, 1956)

In First Order Logic of the inverse property:
- P148(x,y) ⇒ E89(x)
- P148(x,y) ⇒ E89(y)
- [P148(x,y) ∧ P148(y,z)] ⇒ P148(x,z)
- P148(x,y) ⇒ ¬P148(y,x)
"""@en ;
    rdfs:domain :E89_Propositional_Object ;
    rdfs:range :E89_Propositional_Object ;
    owl:inverseOf :P148_has_component .