(subclass NormativeAttribute RelationalAttribute) | Merge.kif 17313-17313 | 規範的属性 は 関係属性 の subclass では %n |
(subclass SubjectiveAssessmentAttribute NormativeAttribute) | Merge.kif 17344-17344 | 主観評価属性 は 規範的属性 の subclass では %n |
(subclass ObjectiveNorm NormativeAttribute) | Merge.kif 17402-17402 | 客観的規範 は 規範的属性 の subclass では %n |