1. Home
  2. Entities
  3. Properties
  4. dol:life

dol:life leaf node

URI

http://www.loa-cnr.it/ontologies/DOLCE-Lite#life

Label

life

Description

Total constant participation applied to the mereological sum of the perdurants in which an endurant participates.

Inherits from

  • dol:constant-participant-in
  • dol:participant-in
  • dol:immediate-relation-i

    • Usage

    DOMAINPROPERTYRANGE
    dol:endurant dol:life 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#> .
@prefix xsd: <http://www.w3.org/2001/XMLSchema#> .

dol:life a owl:FunctionalProperty,
        owl:ObjectProperty ;
    rdfs:comment "Total constant participation applied to the mereological sum of the perdurants in which an endurant participates."^^xsd:string ;
    rdfs:domain dol:endurant ;
    rdfs:range dol:perdurant ;
    rdfs:subPropertyOf dol:constant-participant-in ;
    owl:inverseOf dol:life-of .