Bob
type: NamedIndividual
type: Patient
has habit: Overeating
uses ban: BobMonitorBan
dob: 1970-10-26T21:32:52
first name: Bob
has gender: male
last name: Wanadou

BobBodyTemp1
type: NamedIndividual
type: Measurement
has values: 39

BobMonitorBan
type: NamedIndividual
type: Ban
contains: BobBodyThermo
contains: BobScanWatch
contains: BobSpireHealth
has ban application domain: Prevention
has contact: Bob
has contact: DrKnock
has hub: BobAndroidphone
has responsible party: DrKnock
phenomena: COVID-19Prevention

BobRespMeas1
type: NamedIndividual
type: Measurement
has values: 22

BobSpo2Lev1
type: NamedIndividual
type: Measurement
has values: 78.0

BobSystolicPressure
type: NamedIndividual
type: Measurement
has values: 75

DrKnock
type: NamedIndividual
type: Caregiver
has patient: Bob
first name: Mikheal
last name: Knock

PolymerBattery
type: NamedIndividual
type: PowerSource
power source type: Polymer rechargeable battery up to 10 days
rechargeable: true

SpireStone
type: NamedIndividual
type: DeviceCharacteristic
has computing power: SpireStoneProcessingUnit
has power source: PolymerBattery
device characteristic name: Spire Stone
dimension: 1.7 x 0.6 x 1.2 inches

WarningCovid19Profile
type: NamedIndividual
type: ServiceProfile
service description: A warning is sent by SMS to the hub due to suspected corona virus symptoms
service name: Covid-19 Warning

WithingsWatchBattery
type: NamedIndividual
type: PowerSource
power source type: Standard WITHINGS watch battery
rechargeable: true

Withings ScanWatch
type: NamedIndividual
type: DeviceCharacteristic
has power source: WithingsWatchBattery
device characteristic name: WITHINGS ScanWatch

bpm
type: NamedIndividual
type: UnitOfMeasure
comment: bpm (beats per minute), a unit of measure used in eHealth.

Degree celsius
type: NamedIndividual
type: UnitOfMeasure
comment: Degree celsius, a unit of measure often used in eHealth, e.g. for body temperature.

mmHG
type: NamedIndividual
type: UnitOfMeasure
comment: mmHG (millimeter of mercury), a manometric unit of pressure used in eHealth for systolic blood pressure.

Imp
body: ClassAtom
  class predicate: Patient
  argument1: p
body: IndividualPropertyAtom
  property predicate: hasFunction
  argument1: d1
  argument2: Respiration
body: IndividualPropertyAtom
  property predicate: hasData
  argument1: Oxymeter
  argument2: data
body: IndividualPropertyAtom
  property predicate: hasData
  argument1: SystolicPressureSens
  argument2: data2
body: BuiltinAtom
  builtin: lessThanOrEqual
  arguments: val2
  arguments: 90
body: IndividualPropertyAtom
  property predicate: hasMesurement
  argument1: data1
  argument2: meas1
body: IndividualPropertyAtom
  property predicate: hasMesurement
  argument1: data
  argument2: meas
body: DatavaluedPropertyAtom
  property predicate: hasValues
  argument1: meas2
  argument2: val2
body: IndividualPropertyAtom
  property predicate: isAttachedTo
  argument1: d
  argument2: p
body: BuiltinAtom
  builtin: lessThanOrEqual
  arguments: val
  arguments: 90
body: ClassAtom
  class predicate: BanHub
  argument1: h
body: DatavaluedPropertyAtom
  property predicate: hasValues
  argument1: meas
  argument2: val
body: ClassAtom
  class predicate: HealthDevice
  argument1: d1
body: ClassAtom
  class predicate: Ban
  argument1: b
body: IndividualPropertyAtom
  property predicate: hasHub
  argument1: b
  argument2: h
body: ClassAtom
  class predicate: HealthDevice
  argument1: d
body: IndividualPropertyAtom
  property predicate: hasFunction
  argument1: d2
  argument2: SystolicPressureSens
body: IndividualPropertyAtom
  property predicate: isAttachedTo
  argument1: d1
  argument2: p
body: IndividualPropertyAtom
  property predicate: isAttachedTo
  argument1: d2
  argument2: p
body: IndividualPropertyAtom
  property predicate: hasMesurement
  argument1: data2
  argument2: meas2
body: DatavaluedPropertyAtom
  property predicate: hasValues
  argument1: meas1
  argument2: val1
body: IndividualPropertyAtom
  property predicate: hasFunction
  argument1: d
  argument2: Oxymeter
body: BuiltinAtom
  builtin: greaterThanOrEqual
  arguments: val1
  arguments: 22
body: IndividualPropertyAtom
  property predicate: usesBan
  argument1: p
  argument2: b
body: ClassAtom
  class predicate: HealthDevice
  argument1: d2
body: IndividualPropertyAtom
  property predicate: hasData
  argument1: Respiration
  argument2: data1
head: IndividualPropertyAtom
  property predicate: offers
  argument1: h
  argument2: AlertForHosp

Imp
body: ClassAtom
  class predicate: Patient
  argument1: p
body: ClassAtom
  class predicate: HealthDevice
  argument1: d
body: IndividualPropertyAtom
  property predicate: isAttachedTo
  argument1: d
  argument2: p
body: IndividualPropertyAtom
  property predicate: hasFunction
  argument1: d
  argument2: BodyThermometer
body: IndividualPropertyAtom
  property predicate: hasData
  argument1: BodyThermometer
  argument2: data
body: IndividualPropertyAtom
  property predicate: hasMesurement
  argument1: data
  argument2: meas
body: DatavaluedPropertyAtom
  property predicate: hasValues
  argument1: meas
  argument2: val
body: BuiltinAtom
  builtin: greaterThanOrEqual
  arguments: val
  arguments: 38
body: ClassAtom
  class predicate: HealthDevice
  argument1: d1
body: IndividualPropertyAtom
  property predicate: isAttachedTo
  argument1: d1
  argument2: p
body: IndividualPropertyAtom
  property predicate: hasFunction
  argument1: d1
  argument2: Respiration
body: IndividualPropertyAtom
  property predicate: hasData
  argument1: Respiration
  argument2: data1
body: IndividualPropertyAtom
  property predicate: hasMesurement
  argument1: data1
  argument2: meas1
body: DatavaluedPropertyAtom
  property predicate: hasValues
  argument1: meas1
  argument2: val1
body: BuiltinAtom
  builtin: greaterThanOrEqual
  arguments: val1
  arguments: 22
body: ClassAtom
  class predicate: BanHub
  argument1: h
body: ClassAtom
  class predicate: Ban
  argument1: b
body: IndividualPropertyAtom
  property predicate: usesBan
  argument1: p
  argument2: b
body: IndividualPropertyAtom
  property predicate: hasHub
  argument1: b
  argument2: h
head: IndividualPropertyAtom
  property predicate: offers
  argument1: h
  argument2: WarningCovid19