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.