**Affects:** SAREF **Situation:** there exists temperature sensors who are not meant to accomplish comfort. But SAREF contains the following axiom: ``` Axiom subClassOf( TemperatureSensor HasValue( accomplishes Comfort) ) ``` This happens in other places too, where the axiom was meant to provide examples, but has unwanted logical implications. **Proposal:** Delete these axioms, and add a sentence at the end of the definitions to give an example of the task they can accomplish **Status:** agreed during SmartM2M-2nd RG Meeting about 2 NWIs SAREFv3 and SAREF Com Framework V2 2019-05-06