http://www.cidoc-crm.org/cidoc-crm/P148i_is_component_of
rdf:Property
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)
| DOMAIN | PROPERTY | RANGE |
|---|---|---|
| :E89_Propositional_Object | :P148i_is_component_of | :E89_Propositional_Object |
@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 .