Economic-Process
type: Class
subclass of: Phenomenon

Phenomenon
type: Class
subclass of: Accomplishment

Accomplishment
type: Class
subclass of: Event

Activity
type: Class
subclass of: Accomplishment

Non-Physical-Place
type: Class
subclass of: Non-Agentive-Social-Object
subclass of: Restriction
  on property: PHYSICALLY-DEPENDS-ON
  some values from: Physical-Place

Non-Agentive-Social-Object
type: Class
subclass of: Social-Object

Physical-Place
type: Class
subclass of: Non-Agentive-Physical-Object

Country
type: Class
subclass of: Political-Geographic-Object

Political-Geographic-Object
type: Class
subclass of: Non-Physical-Place
subclass of: Restriction
  on property: PHYSICALLY-DEPENDS-ON
  some values from: Geographical-Object

Organization
type: Class
subclass of: Legally-Constructed-Person

Legally-Constructed-Person
type: Class
subclass of: Socially-Constructed-Person

Atom
type: Class
equivalent class: Class
  intersection of: Entity
  intersection of: Restriction
    on property: PROPER-PART
    all values from: Class
      complement of: Entity
subclass of: Restriction
  on property: ATOMIC-PART-OF
  all values from: Entity

Entity
type: Class
subclass of: Restriction
  on property: CONCEPTUAL-RELATION
  all values from: Entity
subclass of: Restriction
  on property: HAS-QUALITY
  all values from: Quality
subclass of: Restriction
  on property: HOST-OF
  all values from: Feature
subclass of: Restriction
  on property: GENERIC-LOCATION
  all values from: Entity

Date
type: Class
subclass of: Time-Interval

Time-Interval
type: Class
subclass of: Temporal-Region
subclass of: Restriction
  on property: TIME-OF-PRESENCE-OF
  all values from: Endurant
subclass of: Restriction
  on property: TIME-OF-Q-PRESENCE-OF
  all values from: Physical-Quality
subclass of: Restriction
  on property: TIME-OF-HAPPENING-OF
  all values from: Perdurant

Fact
type: Class
subclass of: Abstract

Abstract
type: Class
subclass of: Entity
subclass of: Restriction
  on property: HAS-QUALITY
  all values from: Class
    complement of: Spatial-Location
disjoint with: Quality

Social-Agent
type: Class
subclass of: Agentive-Social-Object

Agentive-Social-Object
type: Class
subclass of: Social-Object
disjoint with: Non-Agentive-Social-Object

Artifact
type: Class
subclass of: Non-Agentive-Physical-Object

Non-Agentive-Physical-Object
type: Class
subclass of: Physical-Object

Space-Region
type: Class
subclass of: Physical-Region
subclass of: Restriction
  on property: SPATIAL-LOCATION-OF
  all values from: Physical-Endurant
subclass of: Restriction
  on property: P-SPATIAL-LOCATION-OF
  all values from: Perdurant
subclass of: Restriction
  on property: DEPEND-ON-SPATIAL-LOCATION-OF
  all values from: Non-Physical-Endurant
subclass of: Restriction
  on property: PART
  all values from: Space-Region

Physical-Region
type: Class
subclass of: Region
subclass of: Restriction
  on property: PHYSICAL-LOCATION-OF
  all values from: Physical-Endurant
subclass of: Restriction
  on property: PART
  all values from: Physical-Region

Physical-Endurant
type: Class
subclass of: Endurant
subclass of: Restriction
  on property: PHYSICAL-LOCATION
  all values from: Physical-Region
subclass of: Restriction
  on property: SPATIAL-LOCATION
  all values from: Space-Region
subclass of: Restriction
  on property: PHYSICAL-DEPEND-ON-OF
  all values from: Non-Physical-Endurant
subclass of: Restriction
  on property: PART
  all values from: Physical-Endurant
subclass of: Restriction
  on property: CONSTITUTED-BY
  all values from: Physical-Endurant
subclass of: Restriction
  on property: HAS-QUALITY
  all values from: Physical-Quality
subclass of: Restriction
  on property: HAS-QUALITY
  some values from: Physical-Quality

Perdurant
type: Class
subclass of: Entity
subclass of: Restriction
  on property: PARTICIPANT
  all values from: Endurant
subclass of: Restriction
  on property: P-SPATIAL-LOCATION
  all values from: Space-Region
subclass of: Restriction
  on property: TEMPORAL-LOCATION
  all values from: Temporal-Region
subclass of: Restriction
  on property: HAPPENS-AT
  all values from: Time-Interval
subclass of: Restriction
  on property: PARTICIPANT
  some values from: Endurant
subclass of: Restriction
  on property: HAS-QUALITY
  some values from: Temporal-Location
subclass of: Restriction
  on property: PARTICIPANT
  all values from: Endurant
subclass of: Restriction
  on property: HAS-QUALITY
  all values from: Temporal-Quality
subclass of: Restriction
  on property: PART
  all values from: Perdurant
subclass of: Restriction
  on property: CONSTITUTED-BY
  all values from: Perdurant
disjoint with: Abstract
disjoint with: Quality

Non-Physical-Endurant
type: Class
subclass of: Endurant
subclass of: Restriction
  on property: ABSTRACT-LOCATION
  all values from: Abstract-Region
subclass of: Restriction
  on property: DEPENDS-ON-SPATIAL-LOCATION
  all values from: Space-Region
subclass of: Restriction
  on property: PHYSICALLY-DEPENDS-ON
  all values from: Physical-Endurant
subclass of: Restriction
  on property: DESCRIPTIVE-DEPEND-ON-OF
  all values from: Endurant
subclass of: Restriction
  on property: PART
  all values from: Non-Physical-Endurant
subclass of: Restriction
  on property: CONSTITUTED-BY
  all values from: Non-Physical-Endurant
subclass of: Restriction
  on property: HAS-QUALITY
  all values from: Abstract-Quality
disjoint with: Physical-Endurant

Abstract-Region
type: Class
subclass of: Region
subclass of: Restriction
  on property: ABSTRACT-LOCATION-OF
  all values from: Non-Physical-Endurant
subclass of: Restriction
  on property: PART
  all values from: Abstract-Region
disjoint with: Physical-Region

Region
type: Class
subclass of: Abstract
subclass of: Restriction
  on property: Q-LOCATION-OF
  all values from: Quality
subclass of: Restriction
  on property: GENERIC-LOCATION-OF
  all values from: Entity
subclass of: Restriction
  on property: Q-LOCATION-OF
  all values from: Quality

Commerce
type: Class
subclass of: Transaction

Transaction
type: Class
subclass of: Activity

Dependent-Place
type: Class
subclass of: Feature

Feature
type: Class
subclass of: Physical-Endurant
subclass of: Restriction
  on property: HOST
  all values from: Entity
disjoint with: Physical-Object

Social-Object
type: Class
subclass of: Non-Physical-Object

Socially-Constructed-Person
type: Class
subclass of: Social-Agent

Non-Physical-Object
type: Class
subclass of: Non-Physical-Endurant

Construction
type: Class
subclass of: Artifact

Society
type: Class
subclass of: Agentive-Social-Object

Amount-Of-Matter
type: Class
subclass of: Physical-Endurant
disjoint with: Feature
disjoint with: Physical-Object

Relevant-Part
type: Class
subclass of: Feature

Endurant
type: Class
comment: The main characteristic of endurants is that all of them are independent essential wholes.
subclass of: Entity
subclass of: Restriction
  on property: TEMPORARY-PART
  all values from: Endurant
subclass of: Restriction
  on property: TEMPORARY-PART-OF
  all values from: Endurant
subclass of: Restriction
  on property: TEMPORARY-PROPER-PART
  all values from: Endurant
subclass of: Restriction
  on property: TEMPORARY-PROPER-PART-OF
  all values from: Endurant
subclass of: Restriction
  on property: PARTICIPANT-IN
  all values from: Perdurant
subclass of: Restriction
  on property: E-TEMPORAL-LOCATION
  all values from: Temporal-Region
subclass of: Restriction
  on property: PRESENT-AT
  all values from: Time-Interval
subclass of: Restriction
  on property: DEPENDS-ON
  all values from: Endurant
subclass of: Restriction
  on property: DEPEND-ON-OF
  all values from: Endurant
subclass of: Restriction
  on property: DESCRIPTIVELY-DEPENDS-ON
  all values from: Non-Physical-Endurant
subclass of: Restriction
  on property: PARTICIPANT-IN
  all values from: Perdurant
disjoint with: Perdurant
disjoint with: Abstract
disjoint with: Quality

Temporal-Region
type: Class
subclass of: Region
subclass of: Restriction
  on property: TEMPORAL-LOCATION-OF
  all values from: Perdurant
subclass of: Restriction
  on property: E-TEMPORAL-LOCATION-OF
  all values from: Endurant
subclass of: Restriction
  on property: PART
  all values from: Temporal-Region
disjoint with: Abstract-Region
disjoint with: Physical-Region

Temporal-Location
type: Class
subclass of: Temporal-Quality

Temporal-Quality
type: Class
subclass of: Quality
subclass of: Restriction
  on property: Q-LOCATION
  all values from: Temporal-Region
subclass of: Restriction
  on property: HAS-QUALITY
  all values from: Temporal-Quality
subclass of: Restriction
  on property: INHERENT-IN
  all values from: Perdurant
subclass of: Restriction
  on property: INHERENT-IN
  some values from: Perdurant
disjoint with: Abstract-Quality
disjoint with: Physical-Quality

Stative
type: Class
subclass of: Perdurant

Event
type: Class
subclass of: Perdurant

Group
type: Class
subclass of: Society

Quale
type: Class
equivalent class: Class
  intersection of: Region
  intersection of: Restriction
    on property: PROPER-PART
    all values from: Class
      complement of: Region
subclass of: Restriction
  on property: QUALE-OF
  all values from: Quality

State
type: Class
subclass of: Stative

Temporary-Atom
type: Class
equivalent class: Class
  intersection of: Atom
  intersection of: Restriction
    on property: TEMPORARY-PROPER-PART
    all values from: Class
      complement of: Entity
subclass of: Restriction
  on property: TEMPORARY-ATOMIC-PART-OF
  all values from: Entity

Physical-Object
type: Class
subclass of: Physical-Endurant

Set
type: Class
subclass of: Abstract

Particular
type: Class
equivalent class: Entity

Spatial-Location
type: Class
subclass of: Physical-Quality

Physical-Quality
type: Class
subclass of: Quality
subclass of: Restriction
  on property: Q-PRESENT-AT
  all values from: Time-Interval
subclass of: Restriction
  on property: Q-LOCATION
  all values from: Physical-Region
subclass of: Restriction
  on property: HAS-QUALITY
  all values from: Physical-Quality
subclass of: Restriction
  on property: INHERENT-IN
  all values from: Physical-Endurant
subclass of: Restriction
  on property: INHERENT-IN
  some values from: Physical-Endurant

Biological-Object
type: Class
subclass of: Non-Agentive-Physical-Object

Natural-Person
type: Class
subclass of: Agentive-Physical-Object

Agentive-Physical-Object
type: Class
subclass of: Physical-Object
disjoint with: Non-Agentive-Physical-Object

Geographical-Object
type: Class
subclass of: Physical-Place

Device
type: Class
subclass of: Instrumentality

Instrumentality
type: Class
subclass of: Artifact

Achievement
type: Class
subclass of: Event

Quality
type: Class
subclass of: Entity
subclass of: Restriction
  on property: INHERENT-IN
  all values from: Entity
subclass of: Restriction
  on property: Q-LOCATION
  all values from: Region
subclass of: Restriction
  on property: HAS-QUALE
  all values from: Quale
subclass of: Restriction
  on property: INHERENT-IN
  some values from: Entity
subclass of: Restriction
  on property: Q-LOCATION
  all values from: Region
subclass of: Restriction
  on property: HAS-QUALITY
  all values from: Quality

Equipment
type: Class
subclass of: Instrumentality

Shape-Quality
type: Class
subclass of: Physical-Quality

Volume
type: Class
subclass of: Physical-Region

Social-Role
type: Class
subclass of: Socially-Constructed-Person

Social-Unit
type: Class
subclass of: Social-Agent

Abstract-Quality
type: Class
subclass of: Quality
subclass of: Restriction
  on property: Q-LOCATION
  all values from: Abstract-Region
subclass of: Restriction
  on property: HAS-QUALITY
  all values from: Abstract-Quality
subclass of: Restriction
  on property: INHERENT-IN
  all values from: Non-Physical-Endurant
subclass of: Restriction
  on property: INHERENT-IN
  some values from: Non-Physical-Endurant
disjoint with: Physical-Quality

Biological-Process
type: Class
subclass of: Phenomenon
subclass of: Restriction
  on property: PARTICIPANT
  some values from: Biological-Object

Organism
type: Class
subclass of: Biological-Object

Process
type: Class
subclass of: Stative

Unitary-Collection
type: Class
subclass of: Non-Agentive-Physical-Object

Spatio-Temporal-Region
type: Class
subclass of: Space-Region

Mental-Object
type: Class
subclass of: Non-Physical-Object
disjoint with: Social-Object

Color-Quality
type: Class
subclass of: Physical-Quality

Conveyance
type: Class
subclass of: Instrumentality

Vehicle
type: Class
subclass of: Conveyance

Information-Object
type: Class
subclass of: Non-Agentive-Social-Object
subclass of: Restriction
  on property: PHYSICALLY-DEPENDS-ON
  some values from: Class
    union of: Physical-Endurant
    union of: Perdurant
    union of: Physical-Quality
    union of: Physical-Region

Arbitrary-Sum
type: Class
subclass of: Endurant
disjoint with: Physical-Endurant
disjoint with: Non-Physical-Endurant

TIME-OF-Q-PRESENCE-OF
type: ObjectProperty
inverse of: Q-PRESENT-AT

LOCATION
type: ObjectProperty
sub property of: EXACT-LOCATION
domain: Entity
range: Region

ABSTRACT-LOCATION
type: ObjectProperty
sub property of: LOCATION
domain: Non-Physical-Endurant
range: Abstract-Region

TEMPORARY-COMPONENT
type: ObjectProperty
sub property of: TEMPORARY-PART
domain: Endurant
range: Endurant

SPATIAL-LOCATION-OF
type: ObjectProperty
inverse of: SPATIAL-LOCATION
domain: Space-Region
range: Physical-Endurant

DEPENDS-ON
type: ObjectProperty
sub property of: MEDIATED-RELATION
domain: Endurant
range: Endurant

ABSTRACT-LOCATION-OF
type: ObjectProperty
inverse of: ABSTRACT-LOCATION

HOST
type: ObjectProperty
sub property of: IMMEDIATE-RELATION
domain: Feature
range: Entity

NAME
type: DatatypeProperty
comment: 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
sub property of: EXTRINSIC-RELATION
domain: Entity
range: string

PART
type: ObjectProperty
sub property of: IMMEDIATE-RELATION
domain: Entity
range: Entity
type: TransitiveProperty

IMMEDIATE-RELATION
type: ObjectProperty
sub property of: CONCEPTUAL-RELATION
domain: Entity
range: Entity

DURATION-OF
type: ObjectProperty
inverse of: DURATION

CONSTITUTED-BY
type: ObjectProperty
sub property of: IMMEDIATE-RELATION
domain: Entity
range: Entity

DESCRIPTIVE-DEPEND-ON-OF
type: ObjectProperty

COMPONENT
type: ObjectProperty
sub property of: PART
domain: Entity
range: Entity

DURATION
type: ObjectProperty
sub property of: TEMPORAL-LOCATION
domain: Perdurant
range: Temporal-Region

TEMPORARY-PROPER-PART
type: ObjectProperty

TEMPORARY-PART
type: ObjectProperty
domain: Endurant
range: Endurant

PHYSICAL-LOCATION
type: ObjectProperty
sub property of: LOCATION
domain: Physical-Endurant
range: Physical-Region

COMPONENT-OF
type: ObjectProperty
inverse of: COMPONENT

ATOMIC-PART
type: ObjectProperty
sub property of: PART
domain: Entity
range: Entity

SPATIAL-LOCATION
type: ObjectProperty
sub property of: PHYSICAL-LOCATION
domain: Physical-Endurant
range: Space-Region

HAS-QUALITY
type: ObjectProperty
inverse of: INHERENT-IN
domain: Entity
range: Quality

DEPEND-ON-OF
type: ObjectProperty
inverse of: DEPENDS-ON

QUALE-OF
type: ObjectProperty
inverse of: HAS-QUALE

PHYSICAL-LOCATION-OF
type: ObjectProperty

DEPENDS-ON-SPATIAL-LOCATION
type: ObjectProperty
sub property of: EXACT-LOCATION
domain: Non-Physical-Endurant
range: Space-Region

LOCATION-OF
type: ObjectProperty
inverse of: LOCATION

HAS-QUALE
type: ObjectProperty
sub property of: Q-LOCATION
domain: Quality
range: Quale

TOTAL-PARTICIPANT-IN
type: ObjectProperty
inverse of: TOTAL-PARTICIPANT

PARTICIPANT
type: ObjectProperty
sub property of: IMMEDIATE-RELATION
domain: Perdurant
range: Endurant

PART-OF
type: ObjectProperty
inverse of: PART

PRESENT-AT
type: ObjectProperty
sub property of: MEDIATED-RELATION
domain: Endurant
range: Time-Interval

DESCRIPTIVELY-DEPENDS-ON
type: ObjectProperty
sub property of: DEPENDS-ON
domain: Endurant
range: Non-Physical-Endurant

EXACT-LOCATION-OF
type: ObjectProperty
inverse of: EXACT-LOCATION

TIME-OF-HAPPENING-OF
type: ObjectProperty
inverse of: HAPPENS-AT

DEPEND-ON-SPATIAL-LOCATION-OF
type: ObjectProperty
inverse of: DEPENDS-ON-SPATIAL-LOCATION

E-TEMPORAL-LOCATION-OF
type: ObjectProperty
inverse of: E-TEMPORAL-LOCATION

PROPER-PART
type: ObjectProperty
sub property of: MEDIATED-RELATION
domain: Entity
range: Entity
type: TransitiveProperty

EXTRINSIC-RELATION
type: DatatypeProperty
comment: Support for relations ranging on concrete data types
range: string

PHYSICAL-DEPEND-ON-OF
type: ObjectProperty
inverse of: PHYSICALLY-DEPENDS-ON

MEDIATED-RELATION
type: ObjectProperty
sub property of: CONCEPTUAL-RELATION
domain: Entity
range: Entity

PROPER-PART-OF
type: ObjectProperty
inverse of: PROPER-PART

P-SPATIAL-LOCATION
type: ObjectProperty
sub property of: EXACT-LOCATION
domain: Perdurant
range: Space-Region

TIME-OF-PRESENCE-OF
type: ObjectProperty
inverse of: PRESENT-AT

ATOMIC-PART-OF
type: ObjectProperty
inverse of: ATOMIC-PART

TEMPORARY-PROPER-PART-OF
type: ObjectProperty

TEMPORARY-ATOMIC-PART-OF
type: ObjectProperty
inverse of: TEMPORARY-ATOMIC-PART

GENERIC-LOCATION
type: ObjectProperty
sub property of: MEDIATED-RELATION
domain: Entity
range: Entity

PARTICIPANT-IN
type: ObjectProperty
inverse of: PARTICIPANT

TEMPORARY-COMPONENT-OF
type: ObjectProperty
inverse of: TEMPORARY-COMPONENT

TEMPORARY-TOTAL-PARTICIPANT-IN
type: ObjectProperty
inverse of: TEMPORARY-TOTAL-PARTICIPANT

E-TEMPORAL-LOCATION
type: ObjectProperty
sub property of: EXACT-LOCATION
domain: Endurant
range: Temporal-Region

TEMPORARY-TOTAL-PARTICIPANT
type: ObjectProperty
sub property of: PARTICIPANT
domain: Perdurant
range: Endurant

CONSTANT-PARTICIPANT
type: ObjectProperty
domain: Perdurant
range: Endurant

GENERIC-LOCATION-OF
type: ObjectProperty
inverse of: GENERIC-LOCATION

IDENTIFIER
type: DatatypeProperty
comment: 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
sub property of: EXTRINSIC-RELATION
domain: Entity
range: string

INHERENT-IN
type: ObjectProperty
sub property of: IMMEDIATE-RELATION
domain: Quality
range: Entity

OVERLAPS
type: ObjectProperty
sub property of: MEDIATED-RELATION
domain: Entity
range: Entity

EXACT-LOCATION
type: ObjectProperty
sub property of: GENERIC-LOCATION
domain: Entity
range: Region

TOTAL-PARTICIPANT
type: ObjectProperty
sub property of: PARTICIPANT
domain: Perdurant
range: Endurant

MEMBER-OF
type: ObjectProperty
inverse of: HAS-MEMBER

CONSTITUTES
type: ObjectProperty
inverse of: CONSTITUTED-BY

HAPPENS-AT
type: ObjectProperty
sub property of: MEDIATED-RELATION
domain: Perdurant
range: Time-Interval

TEMPORARY-PART-OF
type: ObjectProperty
inverse of: TEMPORARY-PART

HAS-MEMBER
type: ObjectProperty
sub property of: CONSTITUTED-BY
domain: Entity
range: Entity

Q-PRESENT-AT
type: ObjectProperty
sub property of: MEDIATED-RELATION
domain: Physical-Quality
range: Time-Interval

TEMPORARY-ATOMIC-PART
type: ObjectProperty
sub property of: ATOMIC-PART
domain: Entity
range: Entity

HOST-OF
type: ObjectProperty
inverse of: HOST

CONCEPTUAL-RELATION
type: ObjectProperty
domain: Entity
range: Entity

PHYSICALLY-DEPENDS-ON
type: ObjectProperty
sub property of: DEPENDS-ON

TEMPORAL-LOCATION-OF
type: ObjectProperty
inverse of: TEMPORAL-LOCATION

CONSTANT-PARTICIPANT-IN
type: ObjectProperty
inverse of: CONSTANT-PARTICIPANT

P-SPATIAL-LOCATION-OF
type: ObjectProperty
inverse of: P-SPATIAL-LOCATION

SIBLING-PART
type: ObjectProperty
sub property of: MEDIATED-RELATION
domain: Entity
range: Entity

Q-LOCATION
type: ObjectProperty
sub property of: IMMEDIATE-RELATION
domain: Quality
range: Region

TEMPORAL-LOCATION
type: ObjectProperty
sub property of: LOCATION
domain: Perdurant
range: Temporal-Region

Q-LOCATION-OF
type: ObjectProperty
inverse of: Q-LOCATION