https://w3id.org/DOLCE/OWL/DOLCEbasic#constantConstituentOf
owl:Class, owl:Class, owl:ObjectProperty, owl:TransitiveProperty
constantConstituentOf is the constant version of Constitution which is a ternary relation between two endurants x, y and time interval t or between two perdurants x, y and time interval t. The intended interpretation is that x constitutes y over the time interval t.
In this constant version, the entity x constitutes y during the whole existence of y.
| DOMAIN | PROPERTY | RANGE |
|---|---|---|
| Blank node (see implementation) | DOLCEbasic:constantConstituentOf | Blank node (see implementation) |
@prefix : <https://w3id.org/DOLCE/OWL/DOLCEbasic#> .
@prefix ace_lexicon: <http://attempto.ifi.uzh.ch/ace_lexicon#> .
@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#> .
:constantConstituentOf a owl:ObjectProperty,
owl:TransitiveProperty ;
rdfs:label "constant constituent of" ;
ace_lexicon:TV_pl "are constant constituent of" ;
ace_lexicon:TV_sg "is constant constituent of" ;
ace_lexicon:TV_vbg "constantly constituted" ;
rdfs:comment """constantConstituentOf is the constant version of Constitution which is a ternary relation between two endurants x, y and time interval t or between two perdurants x, y and time interval t. The intended interpretation is that x constitutes y over the time interval t.
In this constant version, the entity x constitutes y during the whole existence of y.""" ;
rdfs:domain [ a owl:Class ;
owl:unionOf ( :NonPhysicalEndurant :Perdurant :PhysicalEndurant ) ] ;
rdfs:range [ a owl:Class ;
owl:unionOf ( :NonPhysicalEndurant :Perdurant :PhysicalEndurant ) ] ;
rdfs:subPropertyOf [ owl:inverseOf :specificallyDependsOn ] .