numeric
- CURIE:
gmeow:contradictionKindNumeric - IRI: https://blackcatinformatics.ca/gmeow/contradictionKindNumeric
- Category: individual
- Defined by:
gmeow:slices/ai - Box roles: ABox role (What is this?)
The claims carry incompatible quantities.
Structure
Types: gmeow:ContradictionKind
Practical Pattern
Use gmeow:contradictionKindNumeric as a controlled value typed as gmeow:ContradictionKind.
Example Snippets
These snippets are generated from canonical slice examples and trimmed to the Turtle blocks where this term appears.
Grounded Claim
- Source:
slices/core/ai/examples/grounded-claim.ttl - Examples catalog: open in catalog#example-slices-core-ai-examples-grounded-claim
# --- The conflict, SURFACED and attributed — never resolved by rank (P9).
ex:contradiction-close a gmeow:Contradiction ;
gmeow:contradictsClaim ex:claim-close-2200, ex:claim-close-2300 ;
gmeow:contradictionKind gmeow:contradictionKindNumeric ;
gmeow:detectedBy ex:auditor .