Formal Representation of SysML/KAOS Domain Model (Complete Version)