implicates

• CURIE: gmeow:implicates
• IRI: https://blackcatinformatics.ca/gmeow/implicates
• Category: property
• Defined by: gmeow:slices/deception
• Box roles: CBox role, RBox role (What is this?)

Relates a deceptive event to a proposition or entity that it conversationally or contextually implicates — the paltering mechanism, where a literally true statement misleadingly implies a false conclusion. No reasoner semantics: implicature is a solver-layer computation (Principle 12), not an OWL entailment.

Structure

Property shape: object property; gmeow:Event -> gmeow:Entity

Practical Pattern

Use gmeow:implicates from gmeow:Event to gmeow:Entity when the relationship itself belongs in the native GMEOW graph.

Common Companion Terms

gmeow:Event, gmeow:Entity

Usage Advice

Use when

• Use to record the false conclusion a literally-true projected claim misleadingly implies — the paltering hook (gmeow:eventTypePaltering), where the gap is between literal content and pragmatic implicature, not between literal claim and held belief.

Avoid when

• Avoid for the literal projected claim itself (that is gmeow:projectedStandpoint) and avoid expecting the reasoner to derive the implicature — it carries no OWL entailment; the implicature computation stays in the solver layer (Principle 12).

How to use

• On a paltering event, set the technically-true gmeow:projectedStandpoint and link the misleading conclusion via gmeow:implicates; let a solver score the implicature against the held standpoint rather than asserting it logically.

Examples

• ex:palter gmeow:implicates ex:falseConclusion.