dol:total-constant-participant-in leaf node


URI

http://www.loa-cnr.it/ontologies/DOLCE-Lite#total-constant-participant-in

Label

total-constant-participant-in

Usage

DOMAINPROPERTYRANGE
dol:endurant dol:total-constant-participant-in dol:perdurant

Implementation

@prefix dol: <http://www.loa-cnr.it/ontologies/DOLCE-Lite#> .
@prefix owl: <http://www.w3.org/2002/07/owl#> .
@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> .

dol:total-constant-participant-in a owl:ObjectProperty ;
    rdfs:domain dol:endurant ;
    rdfs:range dol:perdurant ;
    rdfs:subPropertyOf dol:constant-participant-in ;
    owl:inverseOf dol:total-constant-participant .