Branch Condition Type

• CURIE: gmeow:BranchConditionType
• IRI: https://blackcatinformatics.ca/gmeow/BranchConditionType
• Category: class
• Defined by: gmeow:slices/procedures
• Box roles: TBox role (What is this?)

The kind of guard condition on a control-flow edge — a VALUE, never a subclass. Evaluated solver-side (Principle 12). The set is open; new condition kinds are fresh individuals.

Structure

Subclass of: gufo:QualityValue

Practical Pattern

Use gmeow:BranchConditionType as a specialized kind of gufo:QualityValue. Add statement metadata or a standpoint when the assertion needs provenance, confidence, or vantage.