confidenceValue
type: DatatypeProperty
type: FunctionalProperty
domain: Activity
domain: Class
  union of: Action
  union of: Activity
  union of: Posture
  union of: Sensor
range: Datatype
  on datatype: double
  with restrictions:
    min inclusive: 0.0
  with restrictions:
    max inclusive: 1.0

derivationApproach
type: DatatypeProperty
type: FunctionalProperty
domain: Class
  union of: Action
  union of: Activity
  union of: Posture
  union of: Sensor
range: DataRange
  one of: conservative
  one of: positive

hasDoorStatus
type: DatatypeProperty
type: FunctionalProperty
domain: Door
range: DataRange
  one of: CLOSED
  one of: OPEN

hasDrapeStatus
type: DatatypeProperty
type: FunctionalProperty
domain: Drape
range: DataRange
  one of: CLOSED
  one of: OPEN

hasHumidityValue
type: DatatypeProperty
domain: HumiditySensor
range: Datatype
  on datatype: int
  with restrictions:
    min inclusive: 0
  with restrictions:
    max inclusive: 100

hasLightStatus
type: DatatypeProperty
type: FunctionalProperty
domain: LightingFixture
range: DataRange
  one of: HIGH
  one of: LOW
  one of: MEDIUM
  one of: OFF

hasLightingType
type: DatatypeProperty
type: FunctionalProperty
domain: LightingFixture
domain: SymbolicLocation
range: DataRange
  one of: normal
  one of: stroboscopic

hasPhoneStatus
type: DatatypeProperty
type: FunctionalProperty
domain: Phone
range: DataRange
  one of: BUSY
  one of: IDLE

hasWaterHeaterStatus
type: DatatypeProperty
type: FunctionalProperty
domain: WaterHeater
range: DataRange
  one of: OFF
  one of: ON

measuredPressure
type: DatatypeProperty
type: FunctionalProperty
range: DataRange
  one of: NO
  one of: YES

CombingHair
type: Class
equivalent class: Class
  intersection of: PersonalActivity
  intersection of: Restriction
    on property: hasActor
    all values from: Class
      intersection of: Restriction
        on property: hasCurrentSymbolicLocation
        some values from: RestRoom
      intersection of: Restriction
        on property: usingArtifact
        some values from: Comb
      intersection of: Restriction
        on property: lookingAt
        has self: true
subclass of: PersonalActivity

IndividualActivity
type: Class
equivalent class: Class
  intersection of: Activity
  intersection of: Restriction
    on property: hasActor
    on class: Person
    qualified cardinality: 1

IndividualJobInterview
type: Class
equivalent class: Class
  intersection of: FaceToFaceMeeting
  intersection of: Restriction
    on property: hasActor
    some values from: Class
      intersection of: Employee
      intersection of: Restriction
        on property: hasInteractionType
        some values from: Class
      intersection of: Restriction
        on property: hasActor
        on class: Class
        qualified cardinality: 1
subclass of: FaceToFaceMeeting

SocialActivity
type: Class
equivalent class: Class
  intersection of: Activity
  intersection of: Restriction
    on property: hasActor
    min cardinality: 2

StockholdersMeeting
type: Class
equivalent class: Class
  intersection of: BusinessMeeting
  intersection of: Restriction
    on property: hasActor
    some values from: Class
      intersection of: Manager
      intersection of: Restriction
        on property: hasCurrentActivity
        some values from: DoingPresentation
  intersection of: Restriction
    on property: hasActor
    on class: Class
      intersection of: Stockholder
      intersection of: Restriction
        on property: hasCurrentPosture
        some values from: Seated
    min qualified cardinality: 2
subclass of: BusinessMeeting

Class
intersection of: PersonalActivity
intersection of: Restriction
  on property: hasActor
  all values from: Restriction
    on property: hasCurrentSymbolicLocation
    some values from: Class
      intersection of: DiningRoom
      intersection of: Restriction
        on property: hosts
        on class: Person
        min qualified cardinality: 2

Restriction
on property: contains
some values from: Class
  intersection of: SoundSensor
  intersection of: Restriction
    on property: measuresValue
    some values from: Datatype
      on datatype: integer
      with restrictions:
        min exclusive: 50

Class
intersection of: FriendlyMeeting
intersection of: Restriction
  on property: hasActor
  all values from: Restriction
    on property: hasCurrentSymbolicLocation
    all values from: Class
      intersection of: Restriction
        on property: contains
        some values from: Restriction
      intersection of: Restriction
        on property: hosts
        on class: Person
        min qualified cardinality: 3
      intersection of: Restriction
        on property: hasSoundLevel dB
        all values from: Datatype

Restriction
on property: hasLightingType
some values from: DataRange
  one of: stroboscopic

Datatype
on datatype: int
with restrictions:
  min exclusive: 40

Class
intersection of: CommunicationThroughDevice
intersection of: Restriction
  on property: hasActor
  some values from: Restriction
    on property: usingArtifact
    some values from: Restriction
      on property: hasPhoneStatus
      all values from: DataRange
        one of: BUSY

Restriction
on property: hasCurrentSymbolicLocation
all values from: Class
  intersection of: RestRoom
  intersection of: Class
    complement of: Restriction
      on property: hasArtifact
      some values from: Restriction
        on property: hasDoorStatus
        some values from: DataRange
  intersection of: Restriction
    on property: hasArtifact
    some values from: Class
      intersection of: WaterHeater
      intersection of: Restriction
        on property: hasWaterHeaterStatus
        all values from: DataRange
  intersection of: Restriction
    on property: hasArtifact
    some values from: Restriction
      on property: hasDoorStatus
      some values from: DataRange
        one of: CLOSED

DataRange
one of: OPEN

DataRange
one of: ON

Restriction
on property: hasCurrentSymbolicLocation
all values from: Class
  intersection of: RestRoom
  intersection of: Class
    complement of: Restriction
      on property: hasArtifact
      some values from: Restriction
        on property: hasDoorStatus
        some values from: DataRange
  intersection of: Restriction
    on property: hasArtifact
    some values from: Class
      intersection of: WaterHeater
      intersection of: Restriction
        on property: measuresValue
        some values from: Datatype
  intersection of: Restriction
    on property: hasArtifact
    some values from: Restriction
      on property: hasDoorStatus
      some values from: DataRange
        one of: CLOSED

DataRange
one of: OPEN

Datatype
on datatype: int
with restrictions:
  min exclusive: 0

Restriction
on property: contains
some values from: Class
  intersection of: TemperatureSensor
  intersection of: Restriction
    on property: measuresValue
    some values from: Datatype
      on datatype: integer
      with restrictions:
        min exclusive: 30

Restriction
on property: contains
some values from: Class
  intersection of: LightSensor
  intersection of: Restriction
    on property: measuresValue
    some values from: Datatype
      on datatype: integer
      with restrictions:
        max exclusive: 40

Restriction
on property: contains
some values from: Class
  intersection of: SoundSensor
  intersection of: Restriction
    on property: measuresValue
    some values from: Datatype
      on datatype: integer
      with restrictions:
        max exclusive: 30

Class
intersection of: BedRoom
intersection of: Class
  complement of: Restriction
    on property: hasArtifact
    some values from: Restriction
      on property: hasDrapeStatus
      some values from: DataRange
        one of: OPEN
intersection of: Class
  complement of: Restriction
    on property: hasArtifact
    some values from: Restriction
      on property: hasLightStatus
      some values from: DataRange
        one of: HIGH
        one of: MEDIUM

Restriction
on property: contains
some values from: Class
  intersection of: SoundSensor
  intersection of: Restriction
    on property: measuresValue
    some values from: Datatype
      on datatype: integer
      with restrictions:
        max exclusive: 35

Restriction
on property: contains
some values from: Class
  intersection of: TemperatureSensor
  intersection of: Restriction
    on property: measuresValue
    some values from: Datatype
      on datatype: integer
      with restrictions:
        min exclusive: 25