Redefine conditionally useless axioms.
Regarding axioms
SubClassOf( saref:Command AllValuesFrom( saref:isCommandOf saref:Function ) )
SubClassOf( saref:Function AllValuesFrom( saref:hasCommand saref:Command ) )
If saref:isCommandOf and saref:hasCommand only applies to saref:Command, and the domains and ranges are specified, then these axioms are useless.
Proposal: delete the axioms if the domain and range is specified.
Status: dependent on the resolution of proposal 15 during SmartM2M-3rd RG Meeting about 2 NWIs SAREFv3 and SAREF Com Framework V2 2019-05-09.