(subclass NormativeAttribute RelationalAttribute) | Merge.kif 17291-17291 | Normative attribute is a subclass of relational attribute |
(subclass SubjectiveAssessmentAttribute NormativeAttribute) | Merge.kif 17322-17322 | Subjective assessment attribute is a subclass of normative attribute |
(subclass ObjectiveNorm NormativeAttribute) | Merge.kif 17380-17380 | Objective norm is a subclass of normative attribute |