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

DOLCEbasic:ArbitrarySum leaf node

URI

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

Label

Arbitrary Sum

Description

An Arbitrary Sum is an endurant which is the mereological sum of at least a physical and a non-physical endurant.

Superclasses (2)

Usage

Instances of DOLCEbasic:ArbitrarySum 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#> .

:ArbitrarySum a owl:Class ;
    rdfs:label "Arbitrary Sum" ;
    ace_lexicon:CN_pl "arbitrary sums" ;
    ace_lexicon:CN_sg "arbitrary sum" ;
    rdfs:comment "An Arbitrary Sum is an endurant which is the mereological sum of at least a physical and a non-physical endurant." ;
    rdfs:subClassOf :Endurant ;
    owl:disjointWith :NonPhysicalEndurant,
        :PhysicalEndurant .