Properties Formalisation For Computational Machine Ethics With Epistemic Reasoning