(subclass NormativeAttribute RelationalAttribute) | Merge.kif 17291-17291 | Attribut normatif est une sous-classe de attribut relationnel |
(subclass SubjectiveAssessmentAttribute NormativeAttribute) | Merge.kif 17322-17322 | Attribut subjectif est une sous-classe de attribut normatif |
(subclass ObjectiveNorm NormativeAttribute) | Merge.kif 17380-17380 | Norme objective est une sous-classe de attribut normatif |