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