1. Home
  2. Entities
  3. Properties
  4. dol:temporary-atomic-part

dol:temporary-atomic-part leaf node

URI

http://www.loa-cnr.it/ontologies/DOLCE-Lite#temporary-atomic-part

Label

temporary-atomic-part

Description

Having an atom as part at a time t.

Inherits from

  • dol:temporary-proper-part
  • dol:proper-part
  • dol:part
  • dol:immediate-relation
  • dol:temporary-part
  • dol:partly-compresent
  • dol:mediated-relation

    • Usage

    DOMAINPROPERTYRANGE
    dol:endurant dol:temporary-atomic-part dol:endurant

    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:temporary-atomic-part a owl:ObjectProperty ;
    rdfs:comment "Having an atom as part at a time t."^^xsd:string ;
    rdfs:domain dol:endurant ;
    rdfs:range dol:endurant ;
    rdfs:subPropertyOf dol:temporary-proper-part ;
    owl:inverseOf dol:temporary-atomic-part-of .