DOLCE-Lite

Ontology Container Information

Title:

DOLCE-Lite

Classes:

80

Creator:

Aldo Gangemi

Properties:

80

Subject:

Everything :-)

Individuals:

0

Description:

The DOLCE upper level ontology in DAML+OIL

Axioms:

24

Date:

2002-12-10T12:00:00Z

Version:

2.2

Namespaces used

default: http://ontology.ip.rm.cnr.it/ontologies/DOLCE-Lite#
1: file:/Applications/OilEd3.5.7/ontologies/Dolce-Lite/DOLCE2.0-Lite-v3.daml
2: http://www.w3.org/2000/01/rdf-schema#

Classes

Abstract Abstract-Quality Abstract-Region Accomplishment Achievement Activity Agentive-Physical-Object Agentive-Social-Object Amount-Of-Matter Arbitrary-Sum Artifact Atom Biological-Object Biological-Process Color-Quality Commerce Construction Conveyance Country Date Dependent-Place Device Economic-Process Endurant Entity Equipment Event Fact Feature Geographical-Object Group Information-Object Instrumentality Legally-Constructed-Person Literal #2 Mental-Object Natural-Person Non-Agentive-Physical-Object Non-Agentive-Social-Object Non-Physical-Endurant Non-Physical-Object Non-Physical-Place Organism Organization Particular Perdurant Phenomenon Physical-Endurant Physical-Object Physical-Place Physical-Quality Physical-Region Political-Geographic-Object Process Quale Quality Region Relevant-Part Set Shape-Quality Social-Agent Social-Object Social-Role Social-Unit Socially-Constructed-Person Society Space-Region Spatial-Location Spatio-Temporal-Region State Stative Temporal-Location Temporal-Quality Temporal-Region Temporary-Atom Time-Interval Transaction Unitary-Collection Vehicle Volume

Properties

ABSTRACT-LOCATION ABSTRACT-LOCATION-OF ATOMIC-PART ATOMIC-PART-OF COMPONENT COMPONENT-OF CONCEPTUAL-RELATION CONSTANT-PARTICIPANT CONSTANT-PARTICIPANT-IN CONSTITUTED-BY CONSTITUTES DEPEND-ON-OF DEPEND-ON-SPATIAL-LOCATION-OF DEPENDS-ON DEPENDS-ON-SPATIAL-LOCATION DESCRIPTIVE-DEPEND-ON-OF DESCRIPTIVELY-DEPENDS-ON DURATION DURATION-OF E-TEMPORAL-LOCATION E-TEMPORAL-LOCATION-OF EXACT-LOCATION EXACT-LOCATION-OF EXTRINSIC-RELATION GENERIC-LOCATION GENERIC-LOCATION-OF HAPPENS-AT HAS-MEMBER HAS-QUALE HAS-QUALITY HOST HOST-OF IDENTIFIER IDENTIFIER-OF IMMEDIATE-RELATION INHERENT-IN LOCATION LOCATION-OF MEDIATED-RELATION MEMBER-OF NAME NAME-OF OVERLAPS P-SPATIAL-LOCATION P-SPATIAL-LOCATION-OF PART PART-OF PARTICIPANT PARTICIPANT-IN PHYSICAL-DEPEND-ON-OF PHYSICAL-LOCATION PHYSICAL-LOCATION-OF PHYSICALLY-DEPENDS-ON PRESENT-AT PROPER-PART PROPER-PART-OF Q-LOCATION Q-LOCATION-OF Q-PRESENT-AT QUALE-OF SIBLING-PART SPATIAL-LOCATION SPATIAL-LOCATION-OF TEMPORAL-LOCATION TEMPORAL-LOCATION-OF TEMPORARY-ATOMIC-PART TEMPORARY-ATOMIC-PART-OF TEMPORARY-COMPONENT TEMPORARY-COMPONENT-OF TEMPORARY-PART TEMPORARY-PART-OF TEMPORARY-PROPER-PART TEMPORARY-PROPER-PART-OF TEMPORARY-TOTAL-PARTICIPANT TEMPORARY-TOTAL-PARTICIPANT-IN TIME-OF-HAPPENING-OF TIME-OF-PRESENCE-OF TIME-OF-Q-PRESENCE-OF TOTAL-PARTICIPANT TOTAL-PARTICIPANT-IN

Individuals

class Abstract

namespace:: http://ontology.ip.rm.cnr.it/ontologies/DOLCE-Lite#
type:: primitive
superclasses:: Entity
constraints:: restriction HAS-QUALITY to-class (not Spatial-Location)
known subclasses:: Fact
Region
Set
used in classes:: Fact
Region
Set
axioms:: disjoint Endurant Abstract
disjoint Perdurant Abstract
disjoint Abstract Quality

class Abstract-Quality

namespace:: http://ontology.ip.rm.cnr.it/ontologies/DOLCE-Lite#
type:: primitive
superclasses:: Quality
constraints:: restriction Q-LOCATION to-class Abstract-Region
restriction HAS-QUALITY to-class Abstract-Quality
restriction INHERENT-IN to-class Non-Physical-Endurant
restriction INHERENT-IN has-class Non-Physical-Endurant
used in classes:: Abstract-Quality
Non-Physical-Endurant
axioms:: disjoint Temporal-Quality Abstract-Quality
disjoint Abstract-Quality Physical-Quality

class Abstract-Region

namespace:: http://ontology.ip.rm.cnr.it/ontologies/DOLCE-Lite#
type:: primitive
superclasses:: Region
constraints:: restriction ABSTRACT-LOCATION-OF to-class Non-Physical-Endurant
restriction PART to-class Abstract-Region
used in classes:: Abstract-Quality
Abstract-Region
Non-Physical-Endurant
used in properties:: ABSTRACT-LOCATION
axioms:: disjoint Temporal-Region Abstract-Region
disjoint Abstract-Region Physical-Region

class Accomplishment

namespace:: http://ontology.ip.rm.cnr.it/ontologies/DOLCE-Lite#
type:: primitive
superclasses:: Event
known subclasses:: Activity
Phenomenon
used in classes:: Activity
Phenomenon

class Achievement

namespace:: http://ontology.ip.rm.cnr.it/ontologies/DOLCE-Lite#
type:: primitive
superclasses:: Event

class Activity

namespace:: http://ontology.ip.rm.cnr.it/ontologies/DOLCE-Lite#
type:: primitive
superclasses:: Accomplishment
known subclasses:: Transaction
used in classes:: Transaction

class Agentive-Physical-Object

namespace:: http://ontology.ip.rm.cnr.it/ontologies/DOLCE-Lite#
type:: primitive
superclasses:: Physical-Object
known subclasses:: Natural-Person
used in classes:: Natural-Person
axioms:: disjoint Agentive-Physical-Object Non-Agentive-Physical-Object

class Agentive-Social-Object

namespace:: http://ontology.ip.rm.cnr.it/ontologies/DOLCE-Lite#
type:: primitive
superclasses:: Social-Object
known subclasses:: Social-Agent
Society
used in classes:: Social-Agent
Society
axioms:: disjoint Agentive-Social-Object Non-Agentive-Social-Object

class Amount-Of-Matter

namespace:: http://ontology.ip.rm.cnr.it/ontologies/DOLCE-Lite#
type:: primitive
superclasses:: Physical-Endurant
axioms:: disjoint Amount-Of-Matter Feature
disjoint Amount-Of-Matter Physical-Object

class Arbitrary-Sum

namespace:: http://ontology.ip.rm.cnr.it/ontologies/DOLCE-Lite#
type:: primitive
superclasses:: Endurant
axioms:: disjoint Arbitrary-Sum Physical-Endurant
disjoint Arbitrary-Sum Non-Physical-Endurant

class Artifact

namespace:: http://ontology.ip.rm.cnr.it/ontologies/DOLCE-Lite#
type:: primitive
superclasses:: Non-Agentive-Physical-Object
known subclasses:: Construction
Instrumentality
used in classes:: Construction
Instrumentality

class Atom

namespace:: http://ontology.ip.rm.cnr.it/ontologies/DOLCE-Lite#
type:: defined
superclasses:: Entity
constraints:: restriction PROPER-PART to-class (not Entity)
known subclasses:: Temporary-Atom
used in classes:: Temporary-Atom
axioms:: covered Atom by (restriction ATOMIC-PART-OF to-class Entity)

class Biological-Object

namespace:: http://ontology.ip.rm.cnr.it/ontologies/DOLCE-Lite#
type:: primitive
superclasses:: Non-Agentive-Physical-Object
known subclasses:: Organism
used in classes:: Biological-Process
Organism

class Biological-Process

namespace:: http://ontology.ip.rm.cnr.it/ontologies/DOLCE-Lite#
type:: primitive
superclasses:: Phenomenon
constraints:: restriction PARTICIPANT has-class Biological-Object

class Color-Quality

namespace:: http://ontology.ip.rm.cnr.it/ontologies/DOLCE-Lite#
type:: primitive
superclasses:: Physical-Quality

class Commerce

namespace:: http://ontology.ip.rm.cnr.it/ontologies/DOLCE-Lite#
type:: primitive
superclasses:: Transaction

class Construction

namespace:: http://ontology.ip.rm.cnr.it/ontologies/DOLCE-Lite#
type:: primitive
superclasses:: Artifact

class Conveyance

namespace:: http://ontology.ip.rm.cnr.it/ontologies/DOLCE-Lite#
type:: primitive
superclasses:: Instrumentality
known subclasses:: Vehicle
used in classes:: Vehicle

class Country

namespace:: http://ontology.ip.rm.cnr.it/ontologies/DOLCE-Lite#
type:: primitive
superclasses:: Political-Geographic-Object

class Date

namespace:: http://ontology.ip.rm.cnr.it/ontologies/DOLCE-Lite#
type:: primitive
superclasses:: Time-Interval

class Dependent-Place

namespace:: http://ontology.ip.rm.cnr.it/ontologies/DOLCE-Lite#
type:: primitive
superclasses:: Feature

class Device

namespace:: http://ontology.ip.rm.cnr.it/ontologies/DOLCE-Lite#
type:: primitive
superclasses:: Instrumentality

class Economic-Process

namespace:: http://ontology.ip.rm.cnr.it/ontologies/DOLCE-Lite#
type:: primitive
superclasses:: Phenomenon

class Endurant

namespace:: http://ontology.ip.rm.cnr.it/ontologies/DOLCE-Lite#
documentation:: The main characteristic of endurants is that all of them are independent essential wholes.
type:: primitive
superclasses:: Entity
constraints:: restriction TEMPORARY-PART to-class Endurant
restriction TEMPORARY-PART-OF to-class Endurant
restriction TEMPORARY-PROPER-PART to-class Endurant
restriction TEMPORARY-PROPER-PART-OF to-class Endurant
restriction PARTICIPANT-IN to-class Perdurant
restriction E-TEMPORAL-LOCATION to-class Temporal-Region
restriction PRESENT-AT to-class Time-Interval
restriction DEPENDS-ON to-class Endurant
restriction DEPEND-ON-OF to-class Endurant
restriction DESCRIPTIVELY-DEPENDS-ON to-class Non-Physical-Endurant
restriction PARTICIPANT-IN to-class Perdurant
known subclasses:: Arbitrary-Sum
Non-Physical-Endurant
Physical-Endurant
used in classes:: Arbitrary-Sum
Endurant
Non-Physical-Endurant
Perdurant
Physical-Endurant
Temporal-Region
Time-Interval
used in properties:: CONSTANT-PARTICIPANT
DEPENDS-ON
DESCRIPTIVELY-DEPENDS-ON
E-TEMPORAL-LOCATION
PARTICIPANT
PRESENT-AT
TEMPORARY-COMPONENT
TEMPORARY-PART
TEMPORARY-TOTAL-PARTICIPANT
TOTAL-PARTICIPANT
axioms:: disjoint Endurant Perdurant
disjoint Endurant Abstract
disjoint Endurant Quality

class Entity

namespace:: http://ontology.ip.rm.cnr.it/ontologies/DOLCE-Lite#
type:: primitive
constraints:: restriction CONCEPTUAL-RELATION to-class Entity
restriction HAS-QUALITY to-class Quality
restriction HOST-OF to-class Feature
restriction GENERIC-LOCATION to-class Entity
known subclasses:: Abstract
Atom
Endurant
Particular
Perdurant
Quality
used in classes:: Abstract
Atom
Endurant
Entity
Feature
Particular
Perdurant
Quality
Region
Temporary-Atom
used in properties:: ATOMIC-PART
COMPONENT
CONCEPTUAL-RELATION
CONSTITUTED-BY
EXACT-LOCATION
GENERIC-LOCATION
HAS-MEMBER
HAS-QUALITY
HOST
IDENTIFIER
IMMEDIATE-RELATION
INHERENT-IN
LOCATION
MEDIATED-RELATION
NAME
OVERLAPS
PART
PROPER-PART
SIBLING-PART
TEMPORARY-ATOMIC-PART
axioms:: covered Atom by (restriction ATOMIC-PART-OF to-class Entity)
covered Temporary-Atom by (restriction TEMPORARY-ATOMIC-PART-OF to-class Entity)

class Equipment

namespace:: http://ontology.ip.rm.cnr.it/ontologies/DOLCE-Lite#
type:: primitive
superclasses:: Instrumentality

class Event

namespace:: http://ontology.ip.rm.cnr.it/ontologies/DOLCE-Lite#
type:: primitive
superclasses:: Perdurant
known subclasses:: Accomplishment
Achievement
used in classes:: Accomplishment
Achievement

class Fact

namespace:: http://ontology.ip.rm.cnr.it/ontologies/DOLCE-Lite#
type:: primitive
superclasses:: Abstract

class Feature

namespace:: http://ontology.ip.rm.cnr.it/ontologies/DOLCE-Lite#
type:: primitive
superclasses:: Physical-Endurant
constraints:: restriction HOST to-class Entity
known subclasses:: Dependent-Place
Relevant-Part
used in classes:: Dependent-Place
Entity
Relevant-Part
used in properties:: HOST
axioms:: disjoint Amount-Of-Matter Feature
disjoint Feature Physical-Object

class Geographical-Object

namespace:: http://ontology.ip.rm.cnr.it/ontologies/DOLCE-Lite#
type:: primitive
superclasses:: Physical-Place
used in classes:: Political-Geographic-Object

class Group

namespace:: http://ontology.ip.rm.cnr.it/ontologies/DOLCE-Lite#
type:: primitive
superclasses:: Society

class Information-Object

namespace:: http://ontology.ip.rm.cnr.it/ontologies/DOLCE-Lite#
type:: primitive
superclasses:: Non-Agentive-Social-Object
constraints:: restriction PHYSICALLY-DEPENDS-ON has-class (Physical-Endurant or Perdurant or Physical-Quality or Physical-Region)

class Instrumentality

namespace:: http://ontology.ip.rm.cnr.it/ontologies/DOLCE-Lite#
type:: primitive
superclasses:: Artifact
known subclasses:: Conveyance
Device
Equipment
used in classes:: Conveyance
Device
Equipment

class Legally-Constructed-Person

namespace:: http://ontology.ip.rm.cnr.it/ontologies/DOLCE-Lite#
type:: primitive
superclasses:: Socially-Constructed-Person
known subclasses:: Organization
used in classes:: Organization

class Literal #2

namespace:: http://www.w3.org/2000/01/rdf-schema#
type:: primitive
used in properties:: EXTRINSIC-RELATION
IDENTIFIER
NAME

class Mental-Object

namespace:: http://ontology.ip.rm.cnr.it/ontologies/DOLCE-Lite#
type:: primitive
superclasses:: Non-Physical-Object
axioms:: disjoint Mental-Object Social-Object

class Natural-Person

namespace:: http://ontology.ip.rm.cnr.it/ontologies/DOLCE-Lite#
type:: primitive
superclasses:: Agentive-Physical-Object

class Non-Agentive-Physical-Object

namespace:: http://ontology.ip.rm.cnr.it/ontologies/DOLCE-Lite#
type:: primitive
superclasses:: Physical-Object
known subclasses:: Artifact
Biological-Object
Physical-Place
Unitary-Collection
used in classes:: Artifact
Biological-Object
Physical-Place
Unitary-Collection
axioms:: disjoint Agentive-Physical-Object Non-Agentive-Physical-Object

class Non-Agentive-Social-Object

namespace:: http://ontology.ip.rm.cnr.it/ontologies/DOLCE-Lite#
type:: primitive
superclasses:: Social-Object
known subclasses:: Information-Object
Non-Physical-Place
used in classes:: Information-Object
Non-Physical-Place
axioms:: disjoint Agentive-Social-Object Non-Agentive-Social-Object

class Non-Physical-Endurant

namespace:: http://ontology.ip.rm.cnr.it/ontologies/DOLCE-Lite#
type:: primitive
superclasses:: Endurant
constraints:: restriction ABSTRACT-LOCATION to-class Abstract-Region
restriction DEPENDS-ON-SPATIAL-LOCATION to-class Space-Region
restriction PHYSICALLY-DEPENDS-ON to-class Physical-Endurant
restriction DESCRIPTIVE-DEPEND-ON-OF to-class Endurant
restriction PART to-class Non-Physical-Endurant
restriction CONSTITUTED-BY to-class Non-Physical-Endurant
restriction HAS-QUALITY to-class Abstract-Quality
known subclasses:: Non-Physical-Object
used in classes:: Abstract-Quality
Abstract-Region
Endurant
Non-Physical-Endurant
Non-Physical-Object
Physical-Endurant
Space-Region
used in properties:: ABSTRACT-LOCATION
DEPENDS-ON-SPATIAL-LOCATION
DESCRIPTIVELY-DEPENDS-ON
axioms:: disjoint Arbitrary-Sum Non-Physical-Endurant
disjoint Non-Physical-Endurant Physical-Endurant

class Non-Physical-Object

namespace:: http://ontology.ip.rm.cnr.it/ontologies/DOLCE-Lite#
type:: primitive
superclasses:: Non-Physical-Endurant
known subclasses:: Mental-Object
Social-Object
used in classes:: Mental-Object
Social-Object

class Non-Physical-Place

namespace:: http://ontology.ip.rm.cnr.it/ontologies/DOLCE-Lite#
type:: primitive
superclasses:: Non-Agentive-Social-Object
constraints:: restriction PHYSICALLY-DEPENDS-ON has-class Physical-Place
known subclasses:: Political-Geographic-Object
used in classes:: Political-Geographic-Object

class Organism

namespace:: http://ontology.ip.rm.cnr.it/ontologies/DOLCE-Lite#
type:: primitive
superclasses:: Biological-Object

class Organization

namespace:: http://ontology.ip.rm.cnr.it/ontologies/DOLCE-Lite#
type:: primitive
superclasses:: Legally-Constructed-Person

class Particular

namespace:: http://ontology.ip.rm.cnr.it/ontologies/DOLCE-Lite#
type:: defined
superclasses:: Entity

class Perdurant

namespace:: http://ontology.ip.rm.cnr.it/ontologies/DOLCE-Lite#
type:: primitive
superclasses:: Entity
constraints:: restriction PARTICIPANT to-class Endurant
restriction P-SPATIAL-LOCATION to-class Space-Region
restriction TEMPORAL-LOCATION to-class Temporal-Region
restriction HAPPENS-AT to-class Time-Interval
restriction PARTICIPANT has-class Endurant
restriction HAS-QUALITY has-class Temporal-Location
restriction PARTICIPANT to-class Endurant
restriction HAS-QUALITY to-class Temporal-Quality
restriction PART to-class Perdurant
restriction CONSTITUTED-BY to-class Perdurant
known subclasses:: Event
Stative
used in classes:: Endurant
Event
Information-Object
Perdurant
Space-Region
Stative
Temporal-Quality
Temporal-Region
Time-Interval
used in properties:: CONSTANT-PARTICIPANT
DURATION
HAPPENS-AT
P-SPATIAL-LOCATION
PARTICIPANT
TEMPORAL-LOCATION
TEMPORARY-TOTAL-PARTICIPANT
TOTAL-PARTICIPANT
axioms:: disjoint Endurant Perdurant
disjoint Perdurant Abstract
disjoint Perdurant Quality

class Phenomenon

namespace:: http://ontology.ip.rm.cnr.it/ontologies/DOLCE-Lite#
type:: primitive
superclasses:: Accomplishment
known subclasses:: Biological-Process
Economic-Process
used in classes:: Biological-Process
Economic-Process

class Physical-Endurant

namespace:: http://ontology.ip.rm.cnr.it/ontologies/DOLCE-Lite#
type:: primitive
superclasses:: Endurant
constraints:: restriction PHYSICAL-LOCATION to-class Physical-Region
restriction SPATIAL-LOCATION to-class Space-Region
restriction PHYSICAL-DEPEND-ON-OF to-class Non-Physical-Endurant
restriction PART to-class Physical-Endurant
restriction CONSTITUTED-BY to-class Physical-Endurant
restriction HAS-QUALITY to-class Physical-Quality
restriction HAS-QUALITY has-class Physical-Quality
known subclasses:: Amount-Of-Matter
Feature
Physical-Object
used in classes:: Amount-Of-Matter
Feature
Information-Object
Non-Physical-Endurant
Physical-Endurant
Physical-Object
Physical-Quality
Physical-Region
Space-Region
used in properties:: PHYSICAL-LOCATION
SPATIAL-LOCATION
SPATIAL-LOCATION-OF
axioms:: disjoint Arbitrary-Sum Physical-Endurant
disjoint Non-Physical-Endurant Physical-Endurant

class Physical-Object

namespace:: http://ontology.ip.rm.cnr.it/ontologies/DOLCE-Lite#
type:: primitive
superclasses:: Physical-Endurant
known subclasses:: Agentive-Physical-Object
Non-Agentive-Physical-Object
used in classes:: Agentive-Physical-Object
Non-Agentive-Physical-Object
axioms:: disjoint Amount-Of-Matter Physical-Object
disjoint Feature Physical-Object

class Physical-Place

namespace:: http://ontology.ip.rm.cnr.it/ontologies/DOLCE-Lite#
type:: primitive
superclasses:: Non-Agentive-Physical-Object
known subclasses:: Geographical-Object
used in classes:: Geographical-Object
Non-Physical-Place

class Physical-Quality

namespace:: http://ontology.ip.rm.cnr.it/ontologies/DOLCE-Lite#
type:: primitive
superclasses:: Quality
constraints:: restriction Q-PRESENT-AT to-class Time-Interval
restriction Q-LOCATION to-class Physical-Region
restriction HAS-QUALITY to-class Physical-Quality
restriction INHERENT-IN to-class Physical-Endurant
restriction INHERENT-IN has-class Physical-Endurant
known subclasses:: Color-Quality
Shape-Quality
Spatial-Location
used in classes:: Color-Quality
Information-Object
Physical-Endurant
Physical-Quality
Shape-Quality
Spatial-Location
Time-Interval
used in properties:: Q-PRESENT-AT
axioms:: disjoint Temporal-Quality Physical-Quality
disjoint Abstract-Quality Physical-Quality

class Physical-Region

namespace:: http://ontology.ip.rm.cnr.it/ontologies/DOLCE-Lite#
type:: primitive
superclasses:: Region
constraints:: restriction PHYSICAL-LOCATION-OF to-class Physical-Endurant
restriction PART to-class Physical-Region
known subclasses:: Space-Region
Volume
used in classes:: Information-Object
Physical-Endurant
Physical-Quality
Physical-Region
Space-Region
Volume
used in properties:: PHYSICAL-LOCATION
axioms:: disjoint Temporal-Region Physical-Region
disjoint Abstract-Region Physical-Region

class Political-Geographic-Object

namespace:: http://ontology.ip.rm.cnr.it/ontologies/DOLCE-Lite#
type:: primitive
superclasses:: Non-Physical-Place
constraints:: restriction PHYSICALLY-DEPENDS-ON has-class Geographical-Object
known subclasses:: Country
used in classes:: Country

class Process

namespace:: http://ontology.ip.rm.cnr.it/ontologies/DOLCE-Lite#
type:: primitive
superclasses:: Stative

class Quale

namespace:: http://ontology.ip.rm.cnr.it/ontologies/DOLCE-Lite#
type:: defined
superclasses:: Region
constraints:: restriction PROPER-PART to-class (not Region)
used in classes:: Quality
used in properties:: HAS-QUALE
axioms:: covered Quale by (restriction QUALE-OF to-class Quality)

class Quality

namespace:: http://ontology.ip.rm.cnr.it/ontologies/DOLCE-Lite#
type:: primitive
superclasses:: Entity
constraints:: restriction INHERENT-IN to-class Entity
restriction Q-LOCATION to-class Region
restriction HAS-QUALE to-class Quale
restriction INHERENT-IN has-class Entity
restriction Q-LOCATION to-class Region
restriction HAS-QUALITY to-class Quality
known subclasses:: Abstract-Quality
Physical-Quality
Temporal-Quality
used in classes:: Abstract-Quality
Entity
Physical-Quality
Quality
Region
Temporal-Quality
used in properties:: HAS-QUALE
HAS-QUALITY
INHERENT-IN
Q-LOCATION
axioms:: covered Quale by (restriction QUALE-OF to-class Quality)
disjoint Endurant Quality
disjoint Perdurant Quality
disjoint Abstract Quality

class Region

namespace:: http://ontology.ip.rm.cnr.it/ontologies/DOLCE-Lite#
type:: primitive
superclasses:: Abstract
constraints:: restriction Q-LOCATION-OF to-class Quality
restriction GENERIC-LOCATION-OF to-class Entity
restriction Q-LOCATION-OF to-class Quality
known subclasses:: Abstract-Region
Physical-Region
Quale
Temporal-Region
used in classes:: Abstract-Region
Physical-Region
Quale
Quality
Temporal-Region
used in properties:: EXACT-LOCATION
LOCATION
Q-LOCATION

class Relevant-Part

namespace:: http://ontology.ip.rm.cnr.it/ontologies/DOLCE-Lite#
type:: primitive
superclasses:: Feature

class Set

namespace:: http://ontology.ip.rm.cnr.it/ontologies/DOLCE-Lite#
type:: primitive
superclasses:: Abstract

class Shape-Quality

namespace:: http://ontology.ip.rm.cnr.it/ontologies/DOLCE-Lite#
type:: primitive
superclasses:: Physical-Quality

class Social-Agent

namespace:: http://ontology.ip.rm.cnr.it/ontologies/DOLCE-Lite#
type:: primitive
superclasses:: Agentive-Social-Object
known subclasses:: Social-Unit
Socially-Constructed-Person
used in classes:: Social-Unit
Socially-Constructed-Person

class Social-Object

namespace:: http://ontology.ip.rm.cnr.it/ontologies/DOLCE-Lite#
type:: primitive
superclasses:: Non-Physical-Object
known subclasses:: Agentive-Social-Object
Non-Agentive-Social-Object
used in classes:: Agentive-Social-Object
Non-Agentive-Social-Object
axioms:: disjoint Mental-Object Social-Object

class Social-Role

namespace:: http://ontology.ip.rm.cnr.it/ontologies/DOLCE-Lite#
type:: primitive
superclasses:: Socially-Constructed-Person

class Social-Unit

namespace:: http://ontology.ip.rm.cnr.it/ontologies/DOLCE-Lite#
type:: primitive
superclasses:: Social-Agent

class Socially-Constructed-Person

namespace:: http://ontology.ip.rm.cnr.it/ontologies/DOLCE-Lite#
type:: primitive
superclasses:: Social-Agent
known subclasses:: Legally-Constructed-Person
Social-Role
used in classes:: Legally-Constructed-Person
Social-Role

class Society

namespace:: http://ontology.ip.rm.cnr.it/ontologies/DOLCE-Lite#
type:: primitive
superclasses:: Agentive-Social-Object
known subclasses:: Group
used in classes:: Group

class Space-Region

namespace:: http://ontology.ip.rm.cnr.it/ontologies/DOLCE-Lite#
type:: primitive
superclasses:: Physical-Region
constraints:: restriction SPATIAL-LOCATION-OF to-class Physical-Endurant
restriction P-SPATIAL-LOCATION-OF to-class Perdurant
restriction DEPEND-ON-SPATIAL-LOCATION-OF to-class Non-Physical-Endurant
restriction PART to-class Space-Region
known subclasses:: Spatio-Temporal-Region
used in classes:: Non-Physical-Endurant
Perdurant
Physical-Endurant
Space-Region
Spatio-Temporal-Region
used in properties:: DEPENDS-ON-SPATIAL-LOCATION
P-SPATIAL-LOCATION
SPATIAL-LOCATION
SPATIAL-LOCATION-OF

class Spatial-Location

namespace:: http://ontology.ip.rm.cnr.it/ontologies/DOLCE-Lite#
type:: primitive
superclasses:: Physical-Quality
used in classes:: Abstract

class Spatio-Temporal-Region

namespace:: http://ontology.ip.rm.cnr.it/ontologies/DOLCE-Lite#
type:: primitive
superclasses:: Space-Region

class State

namespace:: http://ontology.ip.rm.cnr.it/ontologies/DOLCE-Lite#
type:: primitive
superclasses:: Stative

class Stative

namespace:: http://ontology.ip.rm.cnr.it/ontologies/DOLCE-Lite#
type:: primitive
superclasses:: Perdurant
known subclasses:: Process
State
used in classes:: Process
State

class Temporal-Location

namespace:: http://ontology.ip.rm.cnr.it/ontologies/DOLCE-Lite#
type:: primitive
superclasses:: Temporal-Quality
used in classes:: Perdurant

class Temporal-Quality

namespace:: http://ontology.ip.rm.cnr.it/ontologies/DOLCE-Lite#
type:: primitive
superclasses:: Quality
constraints:: restriction Q-LOCATION to-class Temporal-Region
restriction HAS-QUALITY to-class Temporal-Quality
restriction INHERENT-IN to-class Perdurant
restriction INHERENT-IN has-class Perdurant
known subclasses:: Temporal-Location
used in classes:: Perdurant
Temporal-Location
Temporal-Quality
axioms:: disjoint Temporal-Quality Abstract-Quality
disjoint Temporal-Quality Physical-Quality

class Temporal-Region

namespace:: http://ontology.ip.rm.cnr.it/ontologies/DOLCE-Lite#
type:: primitive
superclasses:: Region
constraints:: restriction TEMPORAL-LOCATION-OF to-class Perdurant
restriction E-TEMPORAL-LOCATION-OF to-class Endurant
restriction PART to-class Temporal-Region
known subclasses:: Time-Interval
used in classes:: Endurant
Perdurant
Temporal-Quality
Temporal-Region
Time-Interval
used in properties:: DURATION
E-TEMPORAL-LOCATION
TEMPORAL-LOCATION
axioms:: disjoint Temporal-Region Abstract-Region
disjoint Temporal-Region Physical-Region

class Temporary-Atom

namespace:: http://ontology.ip.rm.cnr.it/ontologies/DOLCE-Lite#
type:: defined
superclasses:: Atom
constraints:: restriction TEMPORARY-PROPER-PART to-class (not Entity)
axioms:: covered Temporary-Atom by (restriction TEMPORARY-ATOMIC-PART-OF to-class Entity)

class Time-Interval

namespace:: http://ontology.ip.rm.cnr.it/ontologies/DOLCE-Lite#
type:: primitive
superclasses:: Temporal-Region
constraints:: restriction TIME-OF-PRESENCE-OF to-class Endurant
restriction TIME-OF-Q-PRESENCE-OF to-class Physical-Quality
restriction TIME-OF-HAPPENING-OF to-class Perdurant
known subclasses:: Date
used in classes:: Date
Endurant
Perdurant
Physical-Quality
used in properties:: HAPPENS-AT
PRESENT-AT
Q-PRESENT-AT

class Transaction

namespace:: http://ontology.ip.rm.cnr.it/ontologies/DOLCE-Lite#
type:: primitive
superclasses:: Activity
known subclasses:: Commerce
used in classes:: Commerce

class Unitary-Collection

namespace:: http://ontology.ip.rm.cnr.it/ontologies/DOLCE-Lite#
type:: primitive
superclasses:: Non-Agentive-Physical-Object

class Vehicle

namespace:: http://ontology.ip.rm.cnr.it/ontologies/DOLCE-Lite#
type:: primitive
superclasses:: Conveyance

class Volume

namespace:: http://ontology.ip.rm.cnr.it/ontologies/DOLCE-Lite#
type:: primitive
superclasses:: Physical-Region

property ABSTRACT-LOCATION

namespace:: http://ontology.ip.rm.cnr.it/ontologies/DOLCE-Lite#
superproperties:: LOCATION
domain:: Non-Physical-Endurant
range:: Abstract-Region
used in classes:: Non-Physical-Endurant
used in properties:: ABSTRACT-LOCATION-OF

property ABSTRACT-LOCATION-OF

namespace:: http://ontology.ip.rm.cnr.it/ontologies/DOLCE-Lite#
inverses:: ABSTRACT-LOCATION
used in classes:: Abstract-Region

property ATOMIC-PART

namespace:: http://ontology.ip.rm.cnr.it/ontologies/DOLCE-Lite#
superproperties:: PART
domain:: Entity
range:: Entity
used in properties:: ATOMIC-PART-OF
TEMPORARY-ATOMIC-PART

property ATOMIC-PART-OF

namespace:: http://ontology.ip.rm.cnr.it/ontologies/DOLCE-Lite#
inverses:: ATOMIC-PART
axioms:: covered Atom by (restriction ATOMIC-PART-OF to-class Entity)

property COMPONENT

namespace:: http://ontology.ip.rm.cnr.it/ontologies/DOLCE-Lite#
superproperties:: PART
domain:: Entity
range:: Entity
used in properties:: COMPONENT-OF

property COMPONENT-OF

namespace:: http://ontology.ip.rm.cnr.it/ontologies/DOLCE-Lite#
inverses:: COMPONENT

property CONCEPTUAL-RELATION

namespace:: http://ontology.ip.rm.cnr.it/ontologies/DOLCE-Lite#
inverses:: CONCEPTUAL-RELATION
domain:: Entity
range:: Entity
used in classes:: Entity
used in properties:: CONCEPTUAL-RELATION
IMMEDIATE-RELATION
MEDIATED-RELATION

property CONSTANT-PARTICIPANT

namespace:: http://ontology.ip.rm.cnr.it/ontologies/DOLCE-Lite#
domain:: Perdurant
range:: Endurant
used in properties:: CONSTANT-PARTICIPANT-IN

property CONSTANT-PARTICIPANT-IN

namespace:: http://ontology.ip.rm.cnr.it/ontologies/DOLCE-Lite#
inverses:: CONSTANT-PARTICIPANT

property CONSTITUTED-BY

namespace:: http://ontology.ip.rm.cnr.it/ontologies/DOLCE-Lite#
superproperties:: IMMEDIATE-RELATION
domain:: Entity
range:: Entity
used in classes:: Non-Physical-Endurant
Perdurant
Physical-Endurant
used in properties:: CONSTITUTES
HAS-MEMBER

property CONSTITUTES

namespace:: http://ontology.ip.rm.cnr.it/ontologies/DOLCE-Lite#
inverses:: CONSTITUTED-BY

property DEPEND-ON-OF

namespace:: http://ontology.ip.rm.cnr.it/ontologies/DOLCE-Lite#
inverses:: DEPENDS-ON
used in classes:: Endurant

property DEPEND-ON-SPATIAL-LOCATION-OF

namespace:: http://ontology.ip.rm.cnr.it/ontologies/DOLCE-Lite#
inverses:: DEPENDS-ON-SPATIAL-LOCATION
used in classes:: Space-Region

property DEPENDS-ON

namespace:: http://ontology.ip.rm.cnr.it/ontologies/DOLCE-Lite#
superproperties:: MEDIATED-RELATION
domain:: Endurant
range:: Endurant
used in classes:: Endurant
used in properties:: DEPEND-ON-OF
DESCRIPTIVELY-DEPENDS-ON
PHYSICALLY-DEPENDS-ON

property DEPENDS-ON-SPATIAL-LOCATION

namespace:: http://ontology.ip.rm.cnr.it/ontologies/DOLCE-Lite#
superproperties:: EXACT-LOCATION
domain:: Non-Physical-Endurant
range:: Space-Region
used in classes:: Non-Physical-Endurant
used in properties:: DEPEND-ON-SPATIAL-LOCATION-OF

property DESCRIPTIVE-DEPEND-ON-OF

namespace:: http://ontology.ip.rm.cnr.it/ontologies/DOLCE-Lite#
used in classes:: Non-Physical-Endurant

property DESCRIPTIVELY-DEPENDS-ON

namespace:: http://ontology.ip.rm.cnr.it/ontologies/DOLCE-Lite#
superproperties:: DEPENDS-ON
domain:: Endurant
range:: Non-Physical-Endurant
used in classes:: Endurant

property DURATION

namespace:: http://ontology.ip.rm.cnr.it/ontologies/DOLCE-Lite#
superproperties:: TEMPORAL-LOCATION
domain:: Perdurant
range:: Temporal-Region
used in properties:: DURATION-OF

property DURATION-OF

namespace:: http://ontology.ip.rm.cnr.it/ontologies/DOLCE-Lite#
inverses:: DURATION

property E-TEMPORAL-LOCATION

namespace:: http://ontology.ip.rm.cnr.it/ontologies/DOLCE-Lite#
superproperties:: EXACT-LOCATION
domain:: Endurant
range:: Temporal-Region
used in classes:: Endurant
used in properties:: E-TEMPORAL-LOCATION-OF

property E-TEMPORAL-LOCATION-OF

namespace:: http://ontology.ip.rm.cnr.it/ontologies/DOLCE-Lite#
inverses:: E-TEMPORAL-LOCATION
used in classes:: Temporal-Region

property EXACT-LOCATION

namespace:: http://ontology.ip.rm.cnr.it/ontologies/DOLCE-Lite#
superproperties:: GENERIC-LOCATION
domain:: Entity
range:: Region
used in properties:: DEPENDS-ON-SPATIAL-LOCATION
E-TEMPORAL-LOCATION
EXACT-LOCATION-OF
LOCATION
P-SPATIAL-LOCATION

property EXACT-LOCATION-OF

namespace:: http://ontology.ip.rm.cnr.it/ontologies/DOLCE-Lite#
inverses:: EXACT-LOCATION

property EXTRINSIC-RELATION

namespace:: http://ontology.ip.rm.cnr.it/ontologies/DOLCE-Lite#
documentation:: Support for relations ranging on concrete data types
inverses:: EXTRINSIC-RELATION
range:: Literal #2
used in properties:: EXTRINSIC-RELATION
IDENTIFIER
NAME

property GENERIC-LOCATION

namespace:: http://ontology.ip.rm.cnr.it/ontologies/DOLCE-Lite#
superproperties:: MEDIATED-RELATION
domain:: Entity
range:: Entity
used in classes:: Entity
used in properties:: EXACT-LOCATION
GENERIC-LOCATION-OF

property GENERIC-LOCATION-OF

namespace:: http://ontology.ip.rm.cnr.it/ontologies/DOLCE-Lite#
inverses:: GENERIC-LOCATION
used in classes:: Region

property HAPPENS-AT

namespace:: http://ontology.ip.rm.cnr.it/ontologies/DOLCE-Lite#
superproperties:: MEDIATED-RELATION
domain:: Perdurant
range:: Time-Interval
used in classes:: Perdurant
used in properties:: TIME-OF-HAPPENING-OF

property HAS-MEMBER

namespace:: http://ontology.ip.rm.cnr.it/ontologies/DOLCE-Lite#
superproperties:: CONSTITUTED-BY
domain:: Entity
range:: Entity
used in properties:: MEMBER-OF

property HAS-QUALE

namespace:: http://ontology.ip.rm.cnr.it/ontologies/DOLCE-Lite#
superproperties:: Q-LOCATION
domain:: Quality
range:: Quale
used in classes:: Quality
used in properties:: QUALE-OF

property HAS-QUALITY

namespace:: http://ontology.ip.rm.cnr.it/ontologies/DOLCE-Lite#
inverses:: INHERENT-IN
domain:: Entity
range:: Quality
used in classes:: Abstract
Abstract-Quality
Entity
Non-Physical-Endurant
Perdurant
Physical-Endurant
Physical-Quality
Quality
Temporal-Quality

property HOST

namespace:: http://ontology.ip.rm.cnr.it/ontologies/DOLCE-Lite#
superproperties:: IMMEDIATE-RELATION
domain:: Feature
range:: Entity
used in classes:: Feature
used in properties:: HOST-OF

property HOST-OF

namespace:: http://ontology.ip.rm.cnr.it/ontologies/DOLCE-Lite#
inverses:: HOST
used in classes:: Entity

property IDENTIFIER

namespace:: http://ontology.ip.rm.cnr.it/ontologies/DOLCE-Lite#
documentation:: A relation btw an individual of a concept and the identifier of that concept. The identifier is a concrete data type, usually non-meaningful from the lexical viewpoint. Useful to map many database relationships
superproperties:: EXTRINSIC-RELATION
inverses:: IDENTIFIER-OF
domain:: Entity
range:: Literal #2

property IDENTIFIER-OF

namespace:: http://ontology.ip.rm.cnr.it/ontologies/DOLCE-Lite#
used in properties:: IDENTIFIER

property IMMEDIATE-RELATION

namespace:: http://ontology.ip.rm.cnr.it/ontologies/DOLCE-Lite#
superproperties:: CONCEPTUAL-RELATION
inverses:: IMMEDIATE-RELATION
domain:: Entity
range:: Entity
used in properties:: CONSTITUTED-BY
HOST
IMMEDIATE-RELATION
INHERENT-IN
PART
PARTICIPANT
Q-LOCATION

property INHERENT-IN

namespace:: http://ontology.ip.rm.cnr.it/ontologies/DOLCE-Lite#
superproperties:: IMMEDIATE-RELATION
domain:: Quality
range:: Entity
used in classes:: Abstract-Quality
Physical-Quality
Quality
Temporal-Quality
used in properties:: HAS-QUALITY

property LOCATION

namespace:: http://ontology.ip.rm.cnr.it/ontologies/DOLCE-Lite#
superproperties:: EXACT-LOCATION
domain:: Entity
range:: Region
used in properties:: ABSTRACT-LOCATION
LOCATION-OF
PHYSICAL-LOCATION
TEMPORAL-LOCATION

property LOCATION-OF

namespace:: http://ontology.ip.rm.cnr.it/ontologies/DOLCE-Lite#
inverses:: LOCATION

property MEDIATED-RELATION

namespace:: http://ontology.ip.rm.cnr.it/ontologies/DOLCE-Lite#
superproperties:: CONCEPTUAL-RELATION
inverses:: MEDIATED-RELATION
domain:: Entity
range:: Entity
used in properties:: DEPENDS-ON
GENERIC-LOCATION
HAPPENS-AT
MEDIATED-RELATION
OVERLAPS
PRESENT-AT
PROPER-PART
Q-PRESENT-AT
SIBLING-PART

property MEMBER-OF

namespace:: http://ontology.ip.rm.cnr.it/ontologies/DOLCE-Lite#
inverses:: HAS-MEMBER

property NAME

namespace:: http://ontology.ip.rm.cnr.it/ontologies/DOLCE-Lite#
documentation:: A relation btw an instance of a concept and the name (instance of a concrete data type) of that concept. The name has to be a lexically meaningful name
superproperties:: EXTRINSIC-RELATION
inverses:: NAME-OF
domain:: Entity
range:: Literal #2

property NAME-OF

namespace:: http://ontology.ip.rm.cnr.it/ontologies/DOLCE-Lite#
used in properties:: NAME

property OVERLAPS

namespace:: http://ontology.ip.rm.cnr.it/ontologies/DOLCE-Lite#
superproperties:: MEDIATED-RELATION
inverses:: OVERLAPS
domain:: Entity
range:: Entity
used in properties:: OVERLAPS

property P-SPATIAL-LOCATION

namespace:: http://ontology.ip.rm.cnr.it/ontologies/DOLCE-Lite#
superproperties:: EXACT-LOCATION
domain:: Perdurant
range:: Space-Region
used in classes:: Perdurant
used in properties:: P-SPATIAL-LOCATION-OF

property P-SPATIAL-LOCATION-OF

namespace:: http://ontology.ip.rm.cnr.it/ontologies/DOLCE-Lite#
inverses:: P-SPATIAL-LOCATION
used in classes:: Space-Region

property PART

namespace:: http://ontology.ip.rm.cnr.it/ontologies/DOLCE-Lite#
superproperties:: IMMEDIATE-RELATION
domain:: Entity
range:: Entity
properties:: transitive
used in classes:: Abstract-Region
Non-Physical-Endurant
Perdurant
Physical-Endurant
Physical-Region
Space-Region
Temporal-Region
used in properties:: ATOMIC-PART
COMPONENT
PART-OF

property PART-OF

namespace:: http://ontology.ip.rm.cnr.it/ontologies/DOLCE-Lite#
inverses:: PART

property PARTICIPANT

namespace:: http://ontology.ip.rm.cnr.it/ontologies/DOLCE-Lite#
superproperties:: IMMEDIATE-RELATION
domain:: Perdurant
range:: Endurant
used in classes:: Biological-Process
Perdurant
used in properties:: PARTICIPANT-IN
TEMPORARY-TOTAL-PARTICIPANT
TOTAL-PARTICIPANT

property PARTICIPANT-IN

namespace:: http://ontology.ip.rm.cnr.it/ontologies/DOLCE-Lite#
inverses:: PARTICIPANT
used in classes:: Endurant

property PHYSICAL-DEPEND-ON-OF

namespace:: http://ontology.ip.rm.cnr.it/ontologies/DOLCE-Lite#
inverses:: PHYSICALLY-DEPENDS-ON
used in classes:: Physical-Endurant

property PHYSICAL-LOCATION

namespace:: http://ontology.ip.rm.cnr.it/ontologies/DOLCE-Lite#
superproperties:: LOCATION
domain:: Physical-Endurant
range:: Physical-Region
used in classes:: Physical-Endurant
used in properties:: SPATIAL-LOCATION

property PHYSICAL-LOCATION-OF

namespace:: http://ontology.ip.rm.cnr.it/ontologies/DOLCE-Lite#
used in classes:: Physical-Region

property PHYSICALLY-DEPENDS-ON

namespace:: http://ontology.ip.rm.cnr.it/ontologies/DOLCE-Lite#
superproperties:: DEPENDS-ON
used in classes:: Information-Object
Non-Physical-Endurant
Non-Physical-Place
Political-Geographic-Object
used in properties:: PHYSICAL-DEPEND-ON-OF

property PRESENT-AT

namespace:: http://ontology.ip.rm.cnr.it/ontologies/DOLCE-Lite#
superproperties:: MEDIATED-RELATION
domain:: Endurant
range:: Time-Interval
used in classes:: Endurant
used in properties:: TIME-OF-PRESENCE-OF

property PROPER-PART

namespace:: http://ontology.ip.rm.cnr.it/ontologies/DOLCE-Lite#
superproperties:: MEDIATED-RELATION
domain:: Entity
range:: Entity
properties:: transitive
used in classes:: Atom
Quale
used in properties:: PROPER-PART-OF

property PROPER-PART-OF

namespace:: http://ontology.ip.rm.cnr.it/ontologies/DOLCE-Lite#
inverses:: PROPER-PART

property Q-LOCATION

namespace:: http://ontology.ip.rm.cnr.it/ontologies/DOLCE-Lite#
superproperties:: IMMEDIATE-RELATION
domain:: Quality
range:: Region
used in classes:: Abstract-Quality
Physical-Quality
Quality
Temporal-Quality
used in properties:: HAS-QUALE
Q-LOCATION-OF

property Q-LOCATION-OF

namespace:: http://ontology.ip.rm.cnr.it/ontologies/DOLCE-Lite#
inverses:: Q-LOCATION
used in classes:: Region

property Q-PRESENT-AT

namespace:: http://ontology.ip.rm.cnr.it/ontologies/DOLCE-Lite#
superproperties:: MEDIATED-RELATION
domain:: Physical-Quality
range:: Time-Interval
used in classes:: Physical-Quality
used in properties:: TIME-OF-Q-PRESENCE-OF

property QUALE-OF

namespace:: http://ontology.ip.rm.cnr.it/ontologies/DOLCE-Lite#
inverses:: HAS-QUALE
axioms:: covered Quale by (restriction QUALE-OF to-class Quality)

property SIBLING-PART

namespace:: http://ontology.ip.rm.cnr.it/ontologies/DOLCE-Lite#
superproperties:: MEDIATED-RELATION
inverses:: SIBLING-PART
domain:: Entity
range:: Entity
used in properties:: SIBLING-PART

property SPATIAL-LOCATION

namespace:: http://ontology.ip.rm.cnr.it/ontologies/DOLCE-Lite#
superproperties:: PHYSICAL-LOCATION
domain:: Physical-Endurant
range:: Space-Region
used in classes:: Physical-Endurant
used in properties:: SPATIAL-LOCATION-OF

property SPATIAL-LOCATION-OF

namespace:: http://ontology.ip.rm.cnr.it/ontologies/DOLCE-Lite#
inverses:: SPATIAL-LOCATION
domain:: Space-Region
range:: Physical-Endurant
used in classes:: Space-Region

property TEMPORAL-LOCATION

namespace:: http://ontology.ip.rm.cnr.it/ontologies/DOLCE-Lite#
superproperties:: LOCATION
domain:: Perdurant
range:: Temporal-Region
used in classes:: Perdurant
used in properties:: DURATION
TEMPORAL-LOCATION-OF

property TEMPORAL-LOCATION-OF

namespace:: http://ontology.ip.rm.cnr.it/ontologies/DOLCE-Lite#
inverses:: TEMPORAL-LOCATION
used in classes:: Temporal-Region

property TEMPORARY-ATOMIC-PART

namespace:: http://ontology.ip.rm.cnr.it/ontologies/DOLCE-Lite#
superproperties:: ATOMIC-PART
domain:: Entity
range:: Entity
used in properties:: TEMPORARY-ATOMIC-PART-OF

property TEMPORARY-ATOMIC-PART-OF

namespace:: http://ontology.ip.rm.cnr.it/ontologies/DOLCE-Lite#
inverses:: TEMPORARY-ATOMIC-PART
axioms:: covered Temporary-Atom by (restriction TEMPORARY-ATOMIC-PART-OF to-class Entity)

property TEMPORARY-COMPONENT

namespace:: http://ontology.ip.rm.cnr.it/ontologies/DOLCE-Lite#
superproperties:: TEMPORARY-PART
domain:: Endurant
range:: Endurant
used in properties:: TEMPORARY-COMPONENT-OF

property TEMPORARY-COMPONENT-OF

namespace:: http://ontology.ip.rm.cnr.it/ontologies/DOLCE-Lite#
inverses:: TEMPORARY-COMPONENT

property TEMPORARY-PART

namespace:: http://ontology.ip.rm.cnr.it/ontologies/DOLCE-Lite#
domain:: Endurant
range:: Endurant
used in classes:: Endurant
used in properties:: TEMPORARY-COMPONENT
TEMPORARY-PART-OF

property TEMPORARY-PART-OF

namespace:: http://ontology.ip.rm.cnr.it/ontologies/DOLCE-Lite#
inverses:: TEMPORARY-PART
used in classes:: Endurant

property TEMPORARY-PROPER-PART

namespace:: http://ontology.ip.rm.cnr.it/ontologies/DOLCE-Lite#
used in classes:: Endurant
Temporary-Atom

property TEMPORARY-PROPER-PART-OF

namespace:: http://ontology.ip.rm.cnr.it/ontologies/DOLCE-Lite#
used in classes:: Endurant

property TEMPORARY-TOTAL-PARTICIPANT

namespace:: http://ontology.ip.rm.cnr.it/ontologies/DOLCE-Lite#
superproperties:: PARTICIPANT
domain:: Perdurant
range:: Endurant
used in properties:: TEMPORARY-TOTAL-PARTICIPANT-IN

property TEMPORARY-TOTAL-PARTICIPANT-IN

namespace:: http://ontology.ip.rm.cnr.it/ontologies/DOLCE-Lite#
inverses:: TEMPORARY-TOTAL-PARTICIPANT

property TIME-OF-HAPPENING-OF

namespace:: http://ontology.ip.rm.cnr.it/ontologies/DOLCE-Lite#
inverses:: HAPPENS-AT
used in classes:: Time-Interval

property TIME-OF-PRESENCE-OF

namespace:: http://ontology.ip.rm.cnr.it/ontologies/DOLCE-Lite#
inverses:: PRESENT-AT
used in classes:: Time-Interval

property TIME-OF-Q-PRESENCE-OF

namespace:: http://ontology.ip.rm.cnr.it/ontologies/DOLCE-Lite#
inverses:: Q-PRESENT-AT
used in classes:: Time-Interval

property TOTAL-PARTICIPANT

namespace:: http://ontology.ip.rm.cnr.it/ontologies/DOLCE-Lite#
superproperties:: PARTICIPANT
domain:: Perdurant
range:: Endurant
used in properties:: TOTAL-PARTICIPANT-IN

property TOTAL-PARTICIPANT-IN

namespace:: http://ontology.ip.rm.cnr.it/ontologies/DOLCE-Lite#
inverses:: TOTAL-PARTICIPANT

Axioms

covered Quale by (restriction QUALE-OF to-class Quality)
covered Atom by (restriction ATOMIC-PART-OF to-class Entity)
covered Temporary-Atom by (restriction TEMPORARY-ATOMIC-PART-OF to-class Entity)
disjoint Endurant Perdurant
disjoint Endurant Abstract
disjoint Endurant Quality
disjoint Perdurant Abstract
disjoint Perdurant Quality
disjoint Abstract Quality
disjoint Arbitrary-Sum Physical-Endurant
disjoint Arbitrary-Sum Non-Physical-Endurant
disjoint Mental-Object Social-Object
disjoint Amount-Of-Matter Feature
disjoint Amount-Of-Matter Physical-Object
disjoint Feature Physical-Object
disjoint Agentive-Physical-Object Non-Agentive-Physical-Object
disjoint Temporal-Quality Abstract-Quality
disjoint Temporal-Quality Physical-Quality
disjoint Abstract-Quality Physical-Quality
disjoint Temporal-Region Abstract-Region
disjoint Temporal-Region Physical-Region
disjoint Abstract-Region Physical-Region
disjoint Non-Physical-Endurant Physical-Endurant
disjoint Agentive-Social-Object Non-Agentive-Social-Object

Documentation generated: Sun Jun 06 23:50:14 CEST 2004