smarthouse:hasIndoorTemperature(?room, ?internalTemp)

∧ smarthouse:hasOutdoorTemperature(?house, ?externalTemp)

∧ swrlb:subtract(?internalTemp, ?externalTemp, ?delta)

⇒ smarthouse:hasIntExtTempDifference(?room, delta)