ParadigmLogical modelDomain logicPropertiesOperatorsClass operatorsVersion: 7.0Class operatorsClass operators include the following operators: Classification (AS/IS) Signature matching (ISCLASS)