16.10 15.1.9 Características lógicas
- transitive: [‘broaderTechnique’, ‘derivedFrom’, ‘supersedes’]
- symmetric: [‘relatedTechnique’, ‘canCoOccurWith’, ‘canComposeWith’, ‘contrastsWith’, ‘commonlyConfusedWith’, ‘alternativeTo’, ‘coOccursWithFailure’]
- irreflexive: [‘broaderTechnique’, ‘hasPrerequisite’, ‘typicallyPrecedes’, ‘supersedes’, ‘deprecatedInFavorOf’]
- acyclic: [‘broaderTechnique’, ‘hasPrerequisite’, ‘supersedes’, ‘deprecatedInFavorOf’]
- inversePairs: [[‘broaderTechnique’, ‘narrowerTechnique’], [‘hasVariant’, ‘variantOf’], [‘hasPrerequisite’, ‘prerequisiteFor’], [‘typicallyPrecedes’, ‘typicallyFollows’], [‘hasFailureMode’, ‘affectsMovement’]]
La transitividad se usa de forma conservadora. Por ejemplo,
broaderTechnique puede cerrarse transitivamente, mientras
que typicallyPrecedes no: si A suele preceder B y B suele
preceder C, no necesariamente A suele preceder C.