(subclass NormativeAttribute RelationalAttribute) | Merge.kif 17291-17291 | 子類 NormativeAttribute and RelationalAttribute |
(subclass SubjectiveAssessmentAttribute NormativeAttribute) | Merge.kif 17322-17322 | 子類 SubjectiveAssessmentAttribute and NormativeAttribute |
(subclass ObjectiveNorm NormativeAttribute) | Merge.kif 17380-17380 | 子類 ObjectiveNorm and NormativeAttribute |