1. Home
  2. Entities
  3. Classes
  4. DOLCEbasic:ConstantAtom

DOLCEbasic:ConstantAtom leaf node

URI

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

Label

Constant Atom

Description

A constant atom is an endurant that has no constant proper parts

Superclasses (2)

Usage

Instances of DOLCEbasic:ConstantAtom can have the following properties:

PROPERTYTYPEDESCRIPTIONRANGE

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#> .

:ConstantAtom a owl:Class ;
    rdfs:label "Constant Atom" ;
    ace_lexicon:CN_pl "constant atoms" ;
    ace_lexicon:CN_sg "constant atom" ;
    rdfs:comment "A constant atom is an endurant that has no constant proper parts" ;
    rdfs:subClassOf [ a owl:Class ;
            owl:complementOf [ a owl:Restriction ;
                    owl:onProperty [ owl:inverseOf :constantProperPartOf ] ;
                    owl:someValuesFrom :Particular ] ],
        :Endurant .