ParadigmLogical modelDomain logicPropertiesOperatorsClass operatorsVersion: 4.xClass operatorsClass operators include the following operators: Classification (AS/IS) Signature (CLASS)