(subclass NormativeAttribute RelationalAttribute) | Merge.kif 17313-17313 | Normative attribute is a subclass of relational attribute |
(subclass SubjectiveAssessmentAttribute NormativeAttribute) | Merge.kif 17344-17344 | Subjective assessment attribute is a subclass of normative attribute |
(subclass ObjectiveNorm NormativeAttribute) | Merge.kif 17402-17402 | Objective norm is a subclass of normative attribute |