http://www.loa-cnr.it/ontologies/DOLCE-Lite#mereologically-coincides
Having the same parts at time t.
| DOMAIN | PROPERTY | RANGE |
|---|---|---|
| dol:endurant | dol:mereologically-coincides | dol:endurant |
@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:mereologically-coincides a owl:ObjectProperty ;
rdfs:comment "Having the same parts at time t."^^xsd:string ;
rdfs:domain dol:endurant ;
rdfs:range dol:endurant ;
rdfs:subPropertyOf dol:temporary-part ;
owl:inverseOf dol:mereologically-coincides .