hasRuleFor
P133032
predicate
Indicates that one entity defines or applies a rule that governs or constrains another entity or situation.
Observed surface forms (3)
| Surface form | Occurrences |
|---|---|
| hasOutcomeRule | 3 |
| hasRuleOn | 2 |
| definesAtRuleOrFeature | 1 |
Sample triples (11)
| Subject | Object |
|---|---|
| Dijkstra weakest precondition calculus | assignment statement ⓘ |
| Dijkstra weakest precondition calculus | conditional statement ⓘ |
| Dijkstra weakest precondition calculus | loop statement ⓘ |
| Dijkstra weakest precondition calculus | sequential composition ⓘ |
| Dijkstra weakest precondition calculus | nondeterministic choice ⓘ |
| Order of Fontevraud | strict enclosure for nuns via predicate surface "hasRuleOn" ⓘ |
| Order of Fontevraud | subordination of monks to abbess via predicate surface "hasRuleOn" ⓘ |
| Roshambo | rock beats scissors via predicate surface "hasOutcomeRule" ⓘ |
| Roshambo | scissors beats paper via predicate surface "hasOutcomeRule" ⓘ |
| Roshambo | paper beats rock via predicate surface "hasOutcomeRule" ⓘ |
| CSS Will Change Module Level 1 | CSS feature for hinting future changes via predicate surface "definesAtRuleOrFeature" ⓘ |