necessitates
- CURIE:
gmeow:causallyNecessitates - IRI: https://blackcatinformatics.ca/gmeow/causallyNecessitates
- Category: individual
- Defined by:
gmeow:slices/risk - Box roles: ABox role (What is this?)
The antecedent kind suffices for the consequent kind.
Structure
Types: gmeow:CausalModality
Practical Pattern
Use gmeow:causallyNecessitates as a controlled value typed as gmeow:CausalModality.
Example Snippets
These snippets are generated from canonical slice examples and trimmed to the Turtle blocks where this term appears.
Trust Collapse
- Source:
slices/extensions/risk/examples/trust-collapse.ttl - Examples catalog: open in catalog#example-slices-extensions-risk-examples-trust-collapse
@prefix gmeow: <https://blackcatinformatics.ca/gmeow/> .
@prefix ex: <https://blackcatinformatics.ca/gmeow/examples/> .
@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> .
# Reified where modality and mechanism matter.
ex:linkBetrayalToDissolution a gmeow:CausalLink ;
gmeow:linkAntecedent ex:etBetrayal ;
gmeow:linkConsequent ex:etBondDissolution ;
gmeow:causalModality gmeow:causallyNecessitates ;
gmeow:linkMechanism "The bond is constituted by the oath; betrayal does not damage it, it unmakes it."@en ;
gmeow:linkNext ex:linkDissolutionToCollapse .