formalized as

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

Attaches a machine formalization to a condition. NOT functional: one condition, several formalizations (one per engine), each a separate equivalence claim with its own confidence and vantage through the statement layer.

Structure

Property shape: object property; gmeow:Condition -> gmeow:ConditionExpression

Practical Pattern

Use gmeow:formalizedAs from gmeow:Condition to gmeow:ConditionExpression when the relationship itself belongs in the native GMEOW graph.

Common Companion Terms

gmeow:Condition, gmeow:ConditionExpression

Usage Advice

Use when

• Use to attach a machine formalization to a condition — each attachment a claim that the expression captures the canonical prose.

Avoid when

• Avoid forcing one formalization (it is non-functional — one condition may carry one expression per engine) and avoid treating the attachment as proven equivalence; it is a challengeable claim.

How to use

• Assert gmeow:formalizedAs from a gmeow:Condition to each gmeow:ConditionExpression; carry the equivalence claim's confidence and vantage on the statement layer.

Examples

• ex:c1 gmeow:formalizedAs ex:e1.