satisfied by
- CURIE:
gmeow:satisfiedBy - IRI: https://blackcatinformatics.ca/gmeow/satisfiedBy
- Category: property
- Defined by:
gmeow:slices/teleology - Box roles: RBox role (What is this?)
Relates a goal to a situation that counts as achieving it. NOT functional: many situations may satisfy one goal, and disputed satisfaction is several coexisting vantage-indexed claims through the statement layer — never a global verdict (Principle 9).
Structure
Property shape: object property; gmeow:Goal -> gufo:Situation
Practical Pattern
Use gmeow:satisfiedBy from gmeow:Goal to gufo:Situation when the relationship itself belongs in the native GMEOW graph.
Common Companion Terms
Usage Advice
Use when
- Use to record that a particular situation counts as achieving a goal — the achievement link a renderer or planner reads to ask whether a goal has been met.
Avoid when
- Avoid asserting a single canonical satisfaction when achievement is contested; carry each contested judgement on the statement with
gmeow:accordingTo(Principle 9), and never make this functional — many situations may satisfy one goal.
How to use
- Point the
Goalat one or more gufo:Situation individuals; for disputed achievement, mint coexisting gmeow:accordingTo-annotated statements rather than forcing the reasoner to pick a winner, and leave means-end search to the solver layer (Principle 12).
Examples
- ex:reachOrbit
gmeow:satisfiedByex:firstStableOrbit.