1. Home
  2. Entities
  3. Properties
  4. DOLCEbasic:constantAtomicPartOf

DOLCEbasic:constantAtomicPartOf leaf node

URI

https://w3id.org/DOLCE/OWL/DOLCEbasic#constantAtomicPartOf

Type

owl:ObjectProperty

Label

constant atomic part of

Description

constantAtomicPartOf is the specialization of the ConstantPartOf relation to the case that the part argument is a mereological atom

Inherits from

Usage

DOMAINPROPERTYRANGE
DOLCEbasic:ConstantAtom DOLCEbasic:constantAtomicPartOf DOLCEbasic:Endurant

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 rdfs: <http://www.w3.org/2000/01/rdf-schema#> .

:constantAtomicPartOf a owl:ObjectProperty ;
    rdfs:label "constant atomic part of" ;
    ace_lexicon:TV_pl "constant atomic parts of" ;
    ace_lexicon:TV_sg "constant atomic part of" ;
    rdfs:comment "constantAtomicPartOf is the specialization of the ConstantPartOf relation to the case that the part argument is a mereological atom" ;
    rdfs:domain :ConstantAtom ;
    rdfs:range :Endurant ;
    rdfs:subPropertyOf :constantPartOf .